summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 12:56:39 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 12:56:39 -0400
commit3c2cf28f8c508355be291a3ce2ecc9bb571f97dd (patch)
tree080575b2de86cc12064fbcb794b8341d5de9313a /src/monoize.sml
parent46c36cb682c91bbfad52b35c68d8332757c2bbce (diff)
Cjr ready for dispatch code generation
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 266a031a..f58e56ea 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -228,7 +228,12 @@ fun monoDecl env (all as (d, loc)) =
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 =