Mercurial > urweb

diff src/elab.sml @ 1303:c7b9a33c26c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hopeful fix for the Great Unification Bug
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 14:41:03 -0400
parents d008c4c43a0a
children 5337adf33a4a
line wrap: on
line diff
--- a/src/elab.sml	Sun Oct 10 13:07:38 2010 -0400
+++ b/src/elab.sml	Sun Oct 10 14:41:03 2010 -0400
@@ -78,7 +78,7 @@
        | CProj of con * int
 
        | CError
-       | CUnif of ErrorMsg.span * kind * string * con option ref
+       | CUnif of int * ErrorMsg.span * kind * string * con option ref
 
 withtype con = con' located