preserve order of inductive type declarations in Core

anoma · Dec 3, 2024 · b92b14e · b92b14e
1 parent 837b13b
commit b92b14e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Juvix/Compiler/Core/Pretty/Base.hs b/src/Juvix/Compiler/Core/Pretty/Base.hs
@@ -574,7 +574,7 @@ instance PrettyCode InfoTable where
   ppCode :: forall r. (Member (Reader Options) r) => InfoTable -> Sem r (Doc Ann)
   ppCode tbl = do
     let header x = annotate AnnImportant (Str.commentLineStart <+> x) <> line
-    tys <- ppInductives (toList (tbl ^. infoInductives))
+    tys <- ppInductives (sortOn (^. inductiveSymbol) $ toList (tbl ^. infoInductives))
     sigs <- ppSigs (sortOn (^. identifierSymbol) $ toList (tbl ^. infoIdentifiers))
     ctx' <- ppContext (tbl ^. identContext)
     axioms <- vsep <$> mapM ppCode (tbl ^. infoAxioms)