Mercurial > urweb

comparison src/elaborate.sml @ 1742:fca4a6d05ac1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More diagnostic information about some type class resolution failures
author Adam Chlipala <adam@chlipala.net>
date Fri, 04 May 2012 10:33:04 -0400
parents 1a35e75b6967
children 6fcce0592178
comparison
equal deleted inserted replaced
1741:d6e233db97c8 1742:fca4a6d05ac1
4674 eprefaces' [("s1", p_summary env (normalizeRecordSummary env s1)), 4674 eprefaces' [("s1", p_summary env (normalizeRecordSummary env s1)),
4675 ("s2", p_summary env (normalizeRecordSummary env s2))]) 4675 ("s2", p_summary env (normalizeRecordSummary env s2))])
4676 (!delayedUnifs);*) 4676 (!delayedUnifs);*)
4677 end 4677 end
4678 | TypeClass (env, c, r, loc) => 4678 | TypeClass (env, c, r, loc) =>
4679 expError env (Unresolvable (loc, c))) 4679 let
4680 val c = normClassKey env c
4681 in
4682 case resolveClass env c of
4683 SOME _ => raise Fail "Type class resolution succeeded unexpectedly"
4684 | NONE => expError env (Unresolvable (loc, c))
4685 end)
4680 gs) 4686 gs)
4681 end 4687 end
4682 in 4688 in
4683 solver gs 4689 solver gs
4684 end; 4690 end;