Mercurial > urweb

comparison src/source_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 e3041657d653
children 34ccd7d2bea8
comparison
equal deleted inserted replaced
148:15e8b9775539 149:7420fa18d657
230 p_exp e]) xes, 230 p_exp e]) xes,
231 string "}"] 231 string "}"]
232 | EField (e, c) => box [p_exp' true e, 232 | EField (e, c) => box [p_exp' true e,
233 string ".", 233 string ".",
234 p_con' true c] 234 p_con' true c]
235 | ECut (e, c) => parenIf par (box [p_exp' true e,
236 space,
237 string "--",
238 space,
239 p_con' true c])
235 | EFold => string "fold" 240 | EFold => string "fold"
236 241
237 and p_exp e = p_exp' false e 242 and p_exp e = p_exp' false e
238 243
239 fun p_sgn_item (sgi, _) = 244 fun p_sgn_item (sgi, _) =