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 97643170..9ea2ab58 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -1520,7 +1520,8 @@ fun elabExp (env, denv) (eAll as (e, loc)) = let val r = ref NONE in - ((L'.EUnif r, loc), ran, [TypeClass (env, dom, r, loc)]) + ((L'.EApp (e1', (L'.EUnif r, loc)), loc), + ran, [TypeClass (env, dom, r, loc)]) end | SOME pf => ((L'.EApp (e1', pf), loc), ran, gs1 @ gs2 @ enD gs3 @ enD gs4) end |