Mercurial > urweb

diff src/monoize.sml @ 115:ff13d390ec60

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cjr ready for dispatch code generation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:56:39 -0400
parents 2d6116de9cca
children 7207f794b916
line wrap: on
line diff
--- a/src/monoize.sml	Sun Jul 13 12:51:58 2008 -0400
+++ b/src/monoize.sml	Sun Jul 13 12:56:39 2008 -0400
@@ -228,7 +228,12 @@
             L.DCon _ => NONE
           | 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))
+          | L.DExport n =>
+            let
+                val (_, _, _, s) = Env.lookupENamed env n
+            in
+                SOME (env, (L'.DExport (s, n), loc))
+            end
     end
 
 fun monoize env ds =