Mercurial > urweb
comparison src/elab_print.sml @ 243:2b9dfaffb008
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 |