Mercurial > urweb

diff src/explify.sml @ 228:19e5791923d0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Resolving lingering type class constraints
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 14:45:31 -0400
parents 0343557355fc
children 3aa010e97db9
line wrap: on
line diff
--- a/src/explify.sml	Thu Aug 21 14:09:08 2008 -0400
+++ b/src/explify.sml	Thu Aug 21 14:45:31 2008 -0400
@@ -112,6 +112,8 @@
                    {disc = explifyCon disc, result = explifyCon result}), loc)
 
       | L.EError => raise Fail ("explifyExp: EError at " ^ EM.spanToString loc)
+      | L.EUnif (ref (SOME e)) => explifyExp e
+      | L.EUnif _ => raise Fail ("explifyExp: Undetermined EUnif at " ^ EM.spanToString loc)
 
 fun explifySgi (sgi, loc) =
     case sgi of