m

smithy-lang · Nov 4, 2024 · 1294871 · 1294871
1 parent 85ed378
commit 1294871
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydafny/DafnyApiCodegen.java b/...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydafny/DafnyApiCodegen.java
@@ -1882,7 +1882,9 @@ public TokenTree generateModeledErrorDataType() {
         Token.of("// A better Opaque, with a visible string representation."),
         Token.of("| OpaqueWithText(obj: object, objMessage : string)"),
         // Helper error for use with `extern`
-        Token.of("type OpaqueError = e: Error | e.Opaque? witness *")
+        Token.of(
+          "type OpaqueError = e: Error | e.Opaque? || e.OpaqueWithText? witness *"
+        )
       )
       .lineSeparated();
   }

diff --git a/...src/main/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToNativeAwsV2.java b/...src/main/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToNativeAwsV2.java
@@ -29,6 +29,7 @@
 import software.amazon.polymorph.smithyjava.nameresolver.AwsSdkDafnyV2;
 import software.amazon.polymorph.smithyjava.nameresolver.AwsSdkNativeV2;
 import software.amazon.polymorph.smithyjava.nameresolver.Dafny;
+import software.amazon.polymorph.smithyjava.unmodeled.OpaqueError;
 import software.amazon.polymorph.smithyjava.unmodeled.OpaqueWithTextError;
 import software.amazon.polymorph.traits.LocalServiceTrait;
 import software.amazon.polymorph.utils.AwsSdkNameResolverHelpers;