sorting

smithy-lang · Jan 8, 2025 · c3ebb53 · c3ebb53
1 parent 7c7f8f2
commit c3ebb53
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/...afny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/UnionGenerator.java b/...afny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/UnionGenerator.java
@@ -49,6 +49,7 @@ public void generateUnion(GoWriter writer) {
       .values()
       .stream()
       .filter(memberShape -> !isEventStreamErrorMember(memberShape))
+      .sorted()
       .collect(Collectors.toCollection(TreeSet::new));
 
     memberShapes

diff --git a/...tware/amazon/polymorph/smithygo/localservice/DafnyLocalServiceTypeConversionProtocol.java b/...tware/amazon/polymorph/smithygo/localservice/DafnyLocalServiceTypeConversionProtocol.java
@@ -1090,7 +1090,7 @@ func OpaqueError_Input_ToDafny(nativeInput $L.OpaqueError)($L.Error) {
         ModelUtils.isInServiceNamespace(shape.getId(), serviceShape)
       )
       .sorted()
-      .collect(Collectors.toSet());
+      .collect(Collectors.toCollection(LinkedHashSet::new));
 
     context
       .writerDelegator()
@@ -1473,7 +1473,7 @@ func OpaqueError_Output_FromDafny(dafnyOutput $L.Error)($L.OpaqueError) {
         ModelUtils.isInServiceNamespace(shape.getId(), serviceShape)
       )
       .sorted()
-      .collect(Collectors.toSet());
+      .collect(Collectors.toCollection(LinkedHashSet::new));
 
     context
       .writerDelegator()