Mercurial > urweb

comparison src/elaborate.sml @ 233:c466678af854

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SELECTing arbitrary expressions
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 11:17:14 -0400
parents 19e5791923d0
children 44a1663ad893
comparison
equal deleted inserted replaced
232:a338da9d82f3 233:c466678af854
1518 case E.resolveClass env dom of 1518 case E.resolveClass env dom of
1519 NONE => 1519 NONE =>
1520 let 1520 let
1521 val r = ref NONE 1521 val r = ref NONE
1522 in 1522 in
1523 ((L'.EUnif r, loc), ran, [TypeClass (env, dom, r, loc)]) 1523 ((L'.EApp (e1', (L'.EUnif r, loc)), loc),
1524 ran, [TypeClass (env, dom, r, loc)])
1524 end 1525 end
1525 | SOME pf => ((L'.EApp (e1', pf), loc), ran, gs1 @ gs2 @ enD gs3 @ enD gs4) 1526 | SOME pf => ((L'.EApp (e1', pf), loc), ran, gs1 @ gs2 @ enD gs3 @ enD gs4)
1526 end 1527 end
1527 | _ => (expError env (OutOfContext (loc, SOME (e1', t1))); 1528 | _ => (expError env (OutOfContext (loc, SOME (e1', t1)));
1528 (eerror, cerror, [])) 1529 (eerror, cerror, []))