Mercurial > urweb

diff src/monoize.sml @ 144:f0d3402184d1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 4b9c2bd6157c
children 15e8b9775539
line wrap: on
line diff
--- a/src/monoize.sml	Sun Jul 20 13:30:19 2008 -0400
+++ b/src/monoize.sml	Tue Jul 22 15:12:20 2008 -0400
@@ -383,7 +383,7 @@
                 SOME (env,
                       (L'.DValRec (map (fn (x, n, t, e, s) => (x, n, monoType env t, monoExp env e, s)) vis), loc))
             end
-          | L.DExport n =>
+          | L.DExport (ek, n) =>
             let
                 val (_, t, _, s) = Env.lookupENamed env n
 
@@ -394,7 +394,7 @@
 
                 val ts = map (monoType env) (unwind t)
             in
-                SOME (env, (L'.DExport (s, n, ts), loc))
+                SOME (env, (L'.DExport (ek, s, n, ts), loc))
             end
     end