Mercurial > urweb

comparison src/core_print.sml @ 149:7420fa18d657

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Record cut
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 10:09:21 -0400
parents f0d3402184d1
children 80192edca30d
comparison
equal deleted inserted replaced
148:15e8b9775539 149:7420fa18d657
224 string "]"] 224 string "]"]
225 else 225 else
226 box [p_exp' true env e, 226 box [p_exp' true env e,
227 string ".", 227 string ".",
228 p_con' true env c] 228 p_con' true env c]
229 | ECut (e, c, {field, rest}) =>
230 parenIf par (if !debug then
231 box [p_exp' true env e,
232 space,
233 string "--",
234 space,
235 p_con' true env c,
236 space,
237 string "[",
238 p_con env field,
239 space,
240 string " in ",
241 space,
242 p_con env rest,
243 string "]"]
244 else
245 box [p_exp' true env e,
246 space,
247 string "--",
248 space,
249 p_con' true env c])
229 | EFold _ => string "fold" 250 | EFold _ => string "fold"
230 251
231 | EWrite e => box [string "write(", 252 | EWrite e => box [string "write(",
232 p_exp env e, 253 p_exp env e,
233 string ")"] 254 string ")"]