Mercurial > urweb
comparison src/expl_print.sml @ 149:7420fa18d657
Record cut
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 24 Jul 2008 10:09:21 -0400 |
parents | 80ac94b54e41 |
children | 06a98129b23f |
comparison
equal
deleted
inserted
replaced
148:15e8b9775539 | 149:7420fa18d657 |
---|---|
235 string "]"] | 235 string "]"] |
236 else | 236 else |
237 box [p_exp' true env e, | 237 box [p_exp' true env e, |
238 string ".", | 238 string ".", |
239 p_con' true env c] | 239 p_con' true env c] |
240 | ECut (e, c, {field, rest}) => | |
241 parenIf par (if !debug then | |
242 box [p_exp' true env e, | |
243 space, | |
244 string "--", | |
245 space, | |
246 p_con' true env c, | |
247 space, | |
248 string "[", | |
249 p_con env field, | |
250 space, | |
251 string " in ", | |
252 space, | |
253 p_con env rest, | |
254 string "]"] | |
255 else | |
256 box [p_exp' true env e, | |
257 space, | |
258 string "--", | |
259 space, | |
260 p_con' true env c]) | |
240 | EFold _ => string "fold" | 261 | EFold _ => string "fold" |
241 | 262 |
242 | EWrite e => box [string "write(", | 263 | EWrite e => box [string "write(", |
243 p_exp env e, | 264 p_exp env e, |
244 string ")"] | 265 string ")"] |