diff options
author | 2008-01-26 17:10:26 -0500 | |
---|---|---|
committer | 2008-01-26 17:10:26 -0500 | |
commit | c3c7a475626786988f0a367fc3c20f903f3fcbba (patch) | |
tree | 96d21b1114d7bc1ad6bddcdd1cc009f3c8152e9d /src/elaborate.sml | |
parent | 554a00c1e5a61d1a2a2767eb091777fbc2a7b811 (diff) |
Parsing basic expressions
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r-- | src/elaborate.sml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index b3250190..3e2cac1b 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -219,14 +219,13 @@ fun elabCon env (c, loc) = checkKind env c2' k2 dom; ((L'.CApp (c1', c2'), loc), ran) end - | L.CAbs (e, x, k, t) => + | L.CAbs (x, k, t) => let - val e' = elabExplicitness e val k' = elabKind k val env' = E.pushCRel env x k' val (t', tk) = elabCon env' t in - ((L'.CAbs (e', x, k', t'), loc), + ((L'.CAbs (x, k', t'), loc), (L'.KArrow (k', tk), loc)) end |