Sort record types by field name in another place; solves another

manifestation of issue #702.
GaloisInc · Apr 18, 2020 · ea1f206 · ea1f206
1 parent 194d02d
commit ea1f206
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Cryptol/Symbolic.hs b/src/Cryptol/Symbolic.hs
@@ -41,6 +41,8 @@ import           Cryptol.Utils.PP
 
 import Prelude ()
 import Prelude.Compat
+import Data.List(sortBy)
+import Data.Ord(comparing)
 
 import Data.Time (NominalDiffTime)
 
@@ -123,7 +125,7 @@ finType ty =
     TVIntMod n       -> Just (FTIntMod n)
     TVSeq n t        -> FTSeq <$> numType n <*> finType t
     TVTuple ts       -> FTTuple <$> traverse finType ts
-    TVRec fields     -> FTRecord <$> traverse (traverseSnd finType) fields
+    TVRec fields     -> FTRecord <$> traverse (traverseSnd finType) (sortBy (comparing fst) fields)
     TVAbstract {}    -> Nothing
     _                     -> Nothing