diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-13 10:17:06 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-13 10:17:06 -0400 |
| commit | 3316f3c317e587a5fc2ecf38f061a72b48e3b94e (patch) | |
| tree | fae8c92c195e5f7976352a337017d285e729f859 /src/mono_env.sml | |
| parent | 7281dbb2fc2a5f50c1049bad629f330e2ff3f7ca (diff) | |
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Diffstat (limited to 'src/mono_env.sml')
| -rw-r--r-- | src/mono_env.sml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/mono_env.sml b/src/mono_env.sml index cfe7b159..9af80d23 100644 --- a/src/mono_env.sml +++ b/src/mono_env.sml @@ -39,7 +39,7 @@ type env = { namedT : (string * typ option) IM.map, relE : (string * typ) list, - namedE : (string * typ * exp option) IM.map + namedE : (string * typ * exp option * string) IM.map } val empty = { @@ -70,11 +70,11 @@ fun lookupERel (env : env) n = (List.nth (#relE env, n)) handle Subscript => raise UnboundRel n -fun pushENamed (env : env) x n t eo = +fun pushENamed (env : env) x n t eo s = {namedT = #namedT env, relE = #relE env, - namedE = IM.insert (#namedE env, n, (x, t, eo))} + namedE = IM.insert (#namedE env, n, (x, t, eo, s))} fun lookupENamed (env : env) n = case IM.find (#namedE env, n) of @@ -83,7 +83,7 @@ fun lookupENamed (env : env) n = fun declBinds env (d, _) = case d of - DVal (x, n, t, e) => pushENamed env x n t (SOME e) - | DPage _ => env + DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s + | DExport _ => env end |