Mercurial > urweb

diff src/elab_util.sml @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents f0f59e918cac
children e3041657d653
line wrap: on
line diff
--- a/src/elab_util.sml	Thu Jul 10 16:05:14 2008 -0400
+++ b/src/elab_util.sml	Sun Jul 13 10:17:06 2008 -0400
@@ -511,7 +511,7 @@
                                                  | DFfiStr (x, _, sgn) =>
                                                    bind (ctx, Str (x, sgn))
                                                  | DConstraint _ => ctx
-                                                 | DPage _ => ctx,
+                                                 | DExport _ => ctx,
                                                mfd ctx d)) ctx ds,
                      fn ds' => (StrConst ds', loc))
               | StrVar _ => S.return2 strAll
@@ -572,12 +572,12 @@
                             S.map2 (mfc ctx c2,
                                     fn c2' =>
                                        (DConstraint (c1', c2'), loc)))
-              | DPage (c, e) =>
-                S.bind2 (mfc ctx c,
-                         fn c' =>
-                            S.map2 (mfe ctx e,
-                                 fn e' =>
-                                    (DPage (c', e'), loc)))
+              | DExport (en, sgn, str) =>
+                S.bind2 (mfsg ctx sgn,
+                         fn sgn' =>
+                            S.map2 (mfst ctx str,
+                                    fn str' =>
+                                       (DExport (en, sgn', str'), loc)))
     in
         mfd
     end