Mercurial > urweb

diff src/elab_print.sml @ 6:38bf996e1c2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Check for leftover kind unifs
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:44:39 -0500
parents 258261a53842
children a455a9f85cc3
line wrap: on
line diff
--- a/src/elab_print.sml	Sat Jan 26 16:02:47 2008 -0500
+++ b/src/elab_print.sml	Sat Jan 26 16:44:39 2008 -0500
@@ -121,8 +121,10 @@
                                               p_con env c2])
 
       | CError => string "<ERROR>"
-      | CUnif (_, ref (SOME c)) => p_con' par env c
-      | CUnif (s, _) => string ("<UNIF:" ^ s ^ ">")
+      | CUnif (_, _, ref (SOME c)) => p_con' par env c
+      | CUnif (k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
+                               p_kind k,
+                               string ">"]
         
 and p_con env = p_con' false env