diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-10-08 11:07:05 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-10-08 11:07:05 +0100 |
| commit | 98a15ae8e3836caf9b2bc1a880a79b47b7c45359 (patch) | |
| tree | 6444e50e9e728bf0d9a17b5c45bccdafaf62198f /src/main/java | |
| parent | 76673d850291989d773a4882a000d5a0b27518bf (diff) | |
Retain order of structs
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java b/src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java index 5e6d6ee0..5dc01ae7 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java @@ -1,21 +1,23 @@ package org.shedlang.compiler.typechecker; import org.pcollections.Empty; +import org.pcollections.OrderedPMap; import org.pcollections.PMap; import org.shedlang.compiler.types.*; +import org.shedlang.compiler.util.P; import java.util.Optional; public class TypeInfos { - public static final TypeInfos EMPTY = new TypeInfos(Empty.map(), Empty.map(), Empty.map()); + public static final TypeInfos EMPTY = new TypeInfos(Empty.map(), P.orderedPMap(), Empty.map()); private final PMap<NamespaceName, NamespaceTypeInfo> namespaceTypeInfos; - private final PMap<StructType, StructTypeInfo> structTypeInfos; + private final OrderedPMap<StructType, StructTypeInfo> structTypeInfos; private final PMap<SumType, SumTypeInfo> sumTypeInfos; public TypeInfos( PMap<NamespaceName, NamespaceTypeInfo> namespaceTypeInfos, - PMap<StructType, StructTypeInfo> structTypeInfos, + OrderedPMap<StructType, StructTypeInfo> structTypeInfos, PMap<SumType, SumTypeInfo> sumTypeInfos ) { this.namespaceTypeInfos = namespaceTypeInfos; |
