Mercurial > urweb

comparison src/elab_print.sml @ 207:cc68da3801bc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Non-star SELECT
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 18:35:08 -0400
parents cb8f69556975
children e86411f647c6
comparison
equal deleted inserted replaced
206:cb8493759a7b 207:cc68da3801bc
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 | KUnit => string "Unit"
52 | KTuple ks => box [string "(",
53 p_list_sep (box [space, string "*", space]) p_kind ks,
54 string ")"]
52 55
53 | KError => string "<ERROR>" 56 | KError => string "<ERROR>"
54 | KUnif (_, _, ref (SOME k)) => p_kind' par k 57 | KUnif (_, _, ref (SOME k)) => p_kind' par k
55 | KUnif (_, s, _) => string ("<UNIF:" ^ s ^ ">") 58 | KUnif (_, s, _) => string ("<UNIF:" ^ s ^ ">")
56 59
174 space, 177 space,
175 p_con env c2]) 178 p_con env c2])
176 | CFold _ => string "fold" 179 | CFold _ => string "fold"
177 180
178 | CUnit => string "()" 181 | CUnit => string "()"
182
183 | CTuple cs => box [string "(",
184 p_list (p_con env) cs,
185 string ")"]
186 | CProj (c, n) => box [p_con env c,
187 string ".",
188 string (Int.toString n)]
179 189
180 | CError => string "<ERROR>" 190 | CError => string "<ERROR>"
181 | CUnif (_, _, _, ref (SOME c)) => p_con' par env c 191 | CUnif (_, _, _, ref (SOME c)) => p_con' par env c
182 | CUnif (_, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"), 192 | CUnif (_, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
183 p_kind k, 193 p_kind k,