Pure caching sort of works.

1 files changed, 4 insertions, 3 deletions

diff --git a/src/monoize.sml b/src/monoize.sml
index 8f6b298d..4208f594 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -4484,13 +4484,14 @@ fun monoize env file =
                                                       (L'.DDatatype (dts @ !pvarDefs), loc) :: Fm.decls fm @ ds
                                                     | _ =>
                                                       ds' @ Fm.decls fm @ (L'.DDatatype (!pvarDefs), loc) :: ds)))
-                                    (env, Fm.empty mname, []) file
+                                     (env, Fm.empty mname, []) file
+        val monoFile = (rev ds, [])
     in
         pvars := RM.empty;
         pvarDefs := [];
         pvarOldDefs := [];
-        Fm.canonical := fm;
-        (rev ds, [])
+        MonoFooify.canonicalFm := Fm.empty (MonoUtil.File.maxName monoFile);
+        monoFile
     end
 
 end