diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-08-28 11:17:14 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-28 11:17:14 -0400 |
commit | 6c18967e19b76d109c49d7c9e34dc8fe2bfb15ad (patch) | |
tree | 798d6dafbd07b429df05e56a34697c62b51719d1 /src/elaborate.sml | |
parent | a8a9ea33b3e9b7d072f0843ba3bb709a4a3eb7a9 (diff) |
SELECTing arbitrary expressions
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 |