diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-20 10:40:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-20 10:40:25 -0400 |
| commit | 0fe71710d474e4c93392ec9d2069ef36464fbfa0 (patch) | |
| tree | 4a158085273dfa721a1dcf645c70d5083aa52ebc /src/elaborate.sml | |
| parent | d76bf83a5e8eb9a0b4e194f83cfadd8d55c00dfd (diff) | |
A simpler context encoding
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 6dc76a59..e0f712e2 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -963,7 +963,7 @@ fun elabExp (env, denv) (eAll as (e, loc)) = ((L'.EModProj (n, ms, s), loc), t, []) end) - | L.EApp (arg as ((L.EApp ((L.ECApp ((L.EVar (["Basis"], "join"), _), (L.CWild _, _)), _), xml1), _), xml2)) => + (*| L.EApp (arg as ((L.EApp ((L.ECApp ((L.EVar (["Basis"], "join"), _), (L.CWild _, _)), _), xml1), _), xml2)) => let val (xml1', t1, gs1) = elabExp (env, denv) xml1 val (xml2', t2, gs2) = elabExp (env, denv) xml2 @@ -1067,7 +1067,7 @@ fun elabExp (env, denv) (eAll as (e, loc)) = :: (loc, env, denv, use1, use2) :: (loc, env, denv, bind1, bind2) :: gs1 @ gs2 @ gs3 @ gs4 @ gs5 @ gs6 @ gs7 @ gs8) - end + end*) | L.EApp (e1, e2) => let |