more

smithy-lang · Feb 3, 2025 · 7fda868 · 7fda868
1 parent 6710b59
commit 7fda868
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/...y-codegen/src/main/java/software/amazon/polymorph/smithydotnet/TypeConversionCodegen.java b/...y-codegen/src/main/java/software/amazon/polymorph/smithydotnet/TypeConversionCodegen.java
@@ -2010,8 +2010,10 @@ protected TypeConverter buildConverterFromMethodBodies(
     // they will need to wrap and unwrap reference types.
     // This is more controlled than exposing
     // the NativeWrapper and the Dafny wrapped type.
+    System.out.println("Shape namespace: " + shape.getId().getNamespace());
+    System.out.println("Service namespace: " + nameResolver.namespaceForService());
     final boolean isDependantModuleType =
-      ModelUtils.isDependantModuleType(
+      ModelUtils. isDependantModuleType(
         shape,
         nameResolver.namespaceForService()
       );

diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/ModelUtils.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/ModelUtils.java
@@ -568,8 +568,8 @@ public static Boolean isDependantModuleType(
     final String namespace
   ) {
     final String shapeNamespace = shape.getId().getNamespace();
-    System.out.println(shapeNamespace);
-    System.out.println(namespace);
+    // This *should* work; however, in the case of the DynamoDB and KMS Modules
+    // the shapeNamespace and the namespace are different, when really they are the same.
     if (!shapeNamespace.toLowerCase().startsWith("smithy.api") && !namespace.equalsIgnoreCase(shapeNamespace)) {
       return true;
     } else {