Mercurial > urweb
comparison src/elab_print.sml @ 207:cc68da3801bc
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, |