Mercurial > urweb
diff src/explify.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 | 6c00d8af6239 |
line wrap: on
line diff
--- a/src/explify.sml Sun Oct 10 13:07:38 2010 -0400 +++ b/src/explify.sml Sun Oct 10 14:41:03 2010 -0400 @@ -76,7 +76,7 @@ | L.CProj (c, n) => (L'.CProj (explifyCon c, n), loc) | L.CError => raise Fail ("explifyCon: CError at " ^ EM.spanToString loc) - | L.CUnif (_, _, _, ref (SOME c)) => explifyCon c + | L.CUnif (nl, _, _, _, ref (SOME c)) => explifyCon (ElabEnv.mliftConInCon nl c) | L.CUnif _ => raise Fail ("explifyCon: CUnif at " ^ EM.spanToString loc) | L.CKAbs (x, c) => (L'.CKAbs (x, explifyCon c), loc)