Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1302:d008c4c43a0a 1303:c7b9a33c26c8
200 | CProj (c, n) => box [p_con env c, 200 | CProj (c, n) => box [p_con env c,
201 string ".", 201 string ".",
202 string (Int.toString n)] 202 string (Int.toString n)]
203 203
204 | CError => string "<ERROR>" 204 | CError => string "<ERROR>"
205 | CUnif (_, _, _, ref (SOME c)) => p_con' par env c 205 | CUnif (nl, _, _, _, ref (SOME c)) => p_con' par env (E.mliftConInCon nl c)
206 | CUnif (_, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"), 206 | CUnif (nl, _, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
207 p_kind env k, 207 p_kind env k,
208 string ">"] 208 case nl of
209 0 => box []
210 | _ => string ("+" ^ Int.toString nl),
211 string ">"]
209 212
210 | CKAbs (x, c) => box [string x, 213 | CKAbs (x, c) => box [string x,
211 space, 214 space,
212 string "==>", 215 string "==>",
213 space, 216 space,