From 6c18967e19b76d109c49d7c9e34dc8fe2bfb15ad Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 28 Aug 2008 11:17:14 -0400 Subject: SELECTing arbitrary expressions --- src/elaborate.sml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/elaborate.sml') 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 -- cgit v1.2.3