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/reduce.sml | |
parent | 7281dbb2fc2a5f50c1049bad629f330e2ff3f7ca (diff) |
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Diffstat (limited to 'src/reduce.sml')
-rw-r--r-- | src/reduce.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/reduce.sml b/src/reduce.sml index 967eb790..cdf24725 100644 --- a/src/reduce.sml +++ b/src/reduce.sml @@ -115,7 +115,7 @@ fun bind (env, b) = U.Decl.RelC (x, k) => E.pushCRel env x k | U.Decl.NamedC (x, n, k, co) => E.pushCNamed env x n k co | U.Decl.RelE (x, t) => E.pushERel env x t - | U.Decl.NamedE (x, n, t, eo) => E.pushENamed env x n t eo + | U.Decl.NamedE (x, n, t, eo, s) => E.pushENamed env x n t eo s fun kind k = k @@ -143,7 +143,7 @@ fun exp env e = case e of ENamed n => (case E.lookupENamed env n of - (_, _, SOME e') => #1 e' + (_, _, SOME e', _) => #1 e' | _ => e) | ECApp ((EApp ((EApp ((ECApp ((EFold ks, _), ran), _), f), _), i), _), (CRecord (k, xcs), loc)) => |