Mercurial > urweb

comparison src/core_print.sml @ 288:4260ad920c36

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Converting string to int
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:33:13 -0400
parents 42dfb0d61cf0
children e976b187d73a
comparison
equal deleted inserted replaced
287:3ed7a7c7b060 288:4260ad920c36
304 string "--", 304 string "--",
305 space, 305 space,
306 p_con' true env c]) 306 p_con' true env c])
307 | EFold _ => string "fold" 307 | EFold _ => string "fold"
308 308
309 | ECase (e, pes, _) => parenIf par (box [string "case", 309 | ECase (e, pes, {disc, result}) =>
310 space, 310 parenIf par (box [string "case",
311 p_exp env e, 311 space,
312 space, 312 p_exp env e,
313 string "of", 313 space,
314 space, 314 if !debug then
315 p_list_sep (box [space, string "|", space]) 315 box [string "in",
316 (fn (p, e) => box [p_pat env p, 316 space,
317 space, 317 p_con env disc,
318 string "=>", 318 space,
319 space, 319 string "return",
320 p_exp (E.patBinds env p) e]) pes]) 320 space,
321 p_con env result,
322 space]
323 else
324 box [],
325 string "of",
326 space,
327 p_list_sep (box [space, string "|", space])
328 (fn (p, e) => box [p_pat env p,
329 space,
330 string "=>",
331 space,
332 p_exp (E.patBinds env p) e]) pes])
321 333
322 | EWrite e => box [string "write(", 334 | EWrite e => box [string "write(",
323 p_exp env e, 335 p_exp env e,
324 string ")"] 336 string ")"]
325 337