diff options
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) |