aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-10-08 11:07:05 +0100
committerMichael Williamson <mike@zwobble.org>2023-10-08 11:07:05 +0100
commit98a15ae8e3836caf9b2bc1a880a79b47b7c45359 (patch)
tree6444e50e9e728bf0d9a17b5c45bccdafaf62198f /src/main/java
parent76673d850291989d773a4882a000d5a0b27518bf (diff)
Retain order of structs
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java8
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;