Mercurial > urweb

comparison src/elab_print.sml @ 82:b4f2a258e52c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial disjointness prover
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 10:55:38 -0400
parents 522f4bd3955e
children e86370850c30
comparison
equal deleted inserted replaced
81:60d97de1bbe8 82:b4f2a258e52c
46 string "->", 46 string "->",
47 space, 47 space,
48 p_kind k2]) 48 p_kind k2])
49 | KName => string "Name" 49 | KName => string "Name"
50 | KRecord k => box [string "{", p_kind k, string "}"] 50 | KRecord k => box [string "{", p_kind k, string "}"]
51 | KUnit => string "Unit"
51 52
52 | KError => string "<ERROR>" 53 | KError => string "<ERROR>"
53 | KUnif (_, _, ref (SOME k)) => p_kind' par k 54 | KUnif (_, _, ref (SOME k)) => p_kind' par k
54 | KUnif (_, s, _) => string ("<UNIF:" ^ s ^ ">") 55 | KUnif (_, s, _) => string ("<UNIF:" ^ s ^ ">")
55 56
152 space, 153 space,
153 string "++", 154 string "++",
154 space, 155 space,
155 p_con env c2]) 156 p_con env c2])
156 | CFold _ => string "fold" 157 | CFold _ => string "fold"
158
159 | CUnit => string "()"
157 160
158 | CError => string "<ERROR>" 161 | CError => string "<ERROR>"
159 | CUnif (_, _, _, ref (SOME c)) => p_con' par env c 162 | CUnif (_, _, _, ref (SOME c)) => p_con' par env c
160 | CUnif (_, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"), 163 | CUnif (_, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
161 p_kind k, 164 p_kind k,