Mercurial > urweb

comparison src/source_print.sml @ 445:dfc8c991abd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replace 'with' with '++'
author Adam Chlipala <adamc@hcoop.net>
date Fri, 31 Oct 2008 09:30:22 -0400
parents 8084fa9216de
children 86c063fedc4d
comparison
equal deleted inserted replaced
444:f45f23ae20ed 445:dfc8c991abd0
256 p_exp e]) xes, 256 p_exp e]) xes,
257 string "}"] 257 string "}"]
258 | EField (e, c) => box [p_exp' true e, 258 | EField (e, c) => box [p_exp' true e,
259 string ".", 259 string ".",
260 p_con' true c] 260 p_con' true c]
261 | EWith (e1, c, e2) => parenIf par (box [p_exp e1, 261 | EConcat (e1, e2) => parenIf par (box [p_exp' true e1,
262 space, 262 space,
263 string "with", 263 string "++",
264 space, 264 space,
265 p_con' true c, 265 p_exp' true e2])
266 space,
267 p_exp' true e2])
268 | ECut (e, c) => parenIf par (box [p_exp' true e, 266 | ECut (e, c) => parenIf par (box [p_exp' true e,
269 space, 267 space,
270 string "--", 268 string "--",
271 space, 269 space,
272 p_con' true c]) 270 p_con' true c])