Mercurial > urweb

comparison src/elab_print.sml @ 243:2b9dfaffb008

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Transactions and queries, at source level
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 14:48:33 -0400
parents 19e5791923d0
children 71bafe66dbe1
comparison
equal deleted inserted replaced
242:cc193f680193 243:2b9dfaffb008
358 p_list_sep (box [space, string "|", space]) 358 p_list_sep (box [space, string "|", space])
359 (fn (p, e) => box [p_pat env p, 359 (fn (p, e) => box [p_pat env p,
360 space, 360 space,
361 string "=>", 361 string "=>",
362 space, 362 space,
363 p_exp env e]) pes]) 363 p_exp (E.patBinds env p) e]) pes])
364 364
365 | EError => string "<ERROR>" 365 | EError => string "<ERROR>"
366 | EUnif (ref (SOME e)) => p_exp env e 366 | EUnif (ref (SOME e)) => p_exp env e
367 | EUnif _ => string "_" 367 | EUnif _ => string "_"
368 368