diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-24 10:41:53 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-24 10:41:53 -0400 |
| commit | a8d4408b6a68c27dc88d8f7e37326c19296808db (patch) | |
| tree | 1a5e9d5f469c8e29d4c0106086d8a029f4dc476b /src/elaborate.sml | |
| parent | a729c94d397dc7731a711eea990092c90fbd5460 (diff) | |
textarea
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index dd0b7187..c7b5bcf3 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -1915,8 +1915,9 @@ fun elabDecl ((d, loc), (env, denv, gs)) = ((L'.CApp (tf, arg1), _), []) => (case (hnormCon (env, denv) tf, hnormCon (env, denv) domR, + hnormCon (env, denv) arg1, hnormCon (env, denv) arg2) of - ((tf, []), (domR, []), + ((tf, []), (domR, []), (arg1, []), ((L'.CRecord (_, []), _), [])) => let val t = (L'.CApp (tf, arg1), loc) |