Mercurial > urweb

diff src/elab_print.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 6c00d8af6239
line wrap: on
line diff
--- a/src/elab_print.sml	Sun Oct 10 13:07:38 2010 -0400
+++ b/src/elab_print.sml	Sun Oct 10 14:41:03 2010 -0400
@@ -202,10 +202,13 @@
                              string (Int.toString n)]
 
       | CError => string "<ERROR>"
-      | CUnif (_, _, _, ref (SOME c)) => p_con' par env c
-      | CUnif (_, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
-                                   p_kind env k,
-                                   string ">"]
+      | CUnif (nl, _, _, _, ref (SOME c)) => p_con' par env (E.mliftConInCon nl c)
+      | CUnif (nl, _, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
+                                       p_kind env k,
+                                       case nl of
+                                           0 => box []
+                                         | _ => string ("+" ^ Int.toString nl),
+                                       string ">"]
 
       | CKAbs (x, c) => box [string x,
                              space,