Mercurial > urweb
diff src/elab.sml @ 1303:c7b9a33c26c8
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