From 98a15ae8e3836caf9b2bc1a880a79b47b7c45359 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 8 Oct 2023 11:07:05 +0100
Subject: Retain order of structs

---
 src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/main/java')

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;
-- 
cgit v1.2.3