Remove closure conversion in favor of zany fun with modules, which also replaces 'page'

1 files changed, 3 insertions, 9 deletions

diff --git a/src/monoize.sml b/src/monoize.sml
index 1d95a303..5f5db692 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -203,15 +203,9 @@ fun monoDecl env (all as (d, loc)) =
     in
         case d of
             L.DCon _ => NONE
-          | L.DVal (x, n, t, e) => SOME (Env.pushENamed env x n t (SOME e),
-                                         (L'.DVal (x, n, monoType env t, monoExp env e), loc))
-          | L.DPage ((c, _), e) =>
-            (case c of
-                 L.CRecord (_, vs) => SOME (env,
-                                            (L'.DPage (map (fn (nm, t) => (monoName env nm,
-                                                                           monoType env t)) vs,
-                                                       monoExp env e), loc))
-               | _ => poly ())
+          | L.DVal (x, n, t, e, s) => SOME (Env.pushENamed env x n t (SOME e) s,
+                                            (L'.DVal (x, n, monoType env t, monoExp env e, s), loc))
+          | L.DExport n => SOME (env, (L'.DExport n, loc))
     end
 
 fun monoize env ds =