diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-10 18:28:43 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-10 18:28:43 -0400 |
| commit | c1c6013533ba8eaa3b41924bcd61d99a4da27955 (patch) | |
| tree | 21e70479e0bc1cf28935d2d80700c1c3063ddc36 /src/elaborate.sml | |
| parent | ecf88cd1a7c5d137a732c4c8eb4d34c5e845ccaf (diff) | |
Translation to Cjr
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index c89bc8e0..d6e1f287 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -704,7 +704,7 @@ fun typeof env (e, loc) = | _ => raise Fail "typeof: Bad ECApp") | L'.ECAbs (expl, x, k, e1) => (L'.TCFun (expl, x, k, typeof (E.pushCRel env x k) e1), loc) - | L'.ERecord xes => (L'.TRecord (L'.CRecord (ktype, map (fn (x, e) => (x, typeof env e)) xes), loc), loc) + | L'.ERecord xes => (L'.TRecord (L'.CRecord (ktype, map (fn (x, _, t) => (x, t)) xes), loc), loc) | L'.EField (_, _, {field, ...}) => field | L'.EError => cerror @@ -821,7 +821,7 @@ fun elabExp env (e, loc) = (x', e', et) end) xes in - ((L'.ERecord (map (fn (x', e', _) => (x', e')) xes'), loc), + ((L'.ERecord xes', loc), (L'.TRecord (L'.CRecord (ktype, map (fn (x', _, et) => (x', et)) xes'), loc), loc)) end |