Mercurial > urweb
comparison src/source_print.sml @ 629:e68de2a5506b
Top.Fold.concat elaborates
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 24 Feb 2009 13:46:08 -0500 |
| parents | 12b73f3c108e |
| children | 70cbdcf5989b |
comparison
equal
deleted
inserted
replaced
| 628:12b73f3c108e | 629:e68de2a5506b |
|---|---|
| 265 p_con c2, | 265 p_con c2, |
| 266 space, | 266 space, |
| 267 string "=>", | 267 string "=>", |
| 268 space, | 268 space, |
| 269 p_exp e]) | 269 p_exp e]) |
| 270 | EDisjointApp e => parenIf par (box [p_exp e, | |
| 271 space, | |
| 272 string "!"]) | |
| 270 | 273 |
| 271 | ERecord xes => box [string "{", | 274 | ERecord xes => box [string "{", |
| 272 p_list (fn (x, e) => | 275 p_list (fn (x, e) => |
| 273 box [p_name x, | 276 box [p_name x, |
| 274 space, | 277 space, |