Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
5:258261a53842 6:38bf996e1c2e
119 string "++", 119 string "++",
120 space, 120 space,
121 p_con env c2]) 121 p_con env c2])
122 122
123 | CError => string "<ERROR>" 123 | CError => string "<ERROR>"
124 | CUnif (_, ref (SOME c)) => p_con' par env c 124 | CUnif (_, _, ref (SOME c)) => p_con' par env c
125 | CUnif (s, _) => string ("<UNIF:" ^ s ^ ">") 125 | CUnif (k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
126 p_kind k,
127 string ">"]
126 128
127 and p_con env = p_con' false env 129 and p_con env = p_con' false env
128 130
129 fun p_decl env ((d, _) : decl) = 131 fun p_decl env ((d, _) : decl) =
130 case d of 132 case d of