Mercurial > urweb

comparison src/source_print.sml @ 171:c7a6e6dbc318

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating some basic pattern matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Jul 2008 10:06:27 -0400
parents a158f8c5aa55
children 8221b95cc24c
comparison
equal deleted inserted replaced
170:a158f8c5aa55 171:c7a6e6dbc318
250 p_con' true c]) 250 p_con' true c])
251 | EFold => string "fold" 251 | EFold => string "fold"
252 252
253 | ECase (e, pes) => parenIf par (box [string "case", 253 | ECase (e, pes) => parenIf par (box [string "case",
254 space, 254 space,
255 p_exp' false e, 255 p_exp e,
256 space, 256 space,
257 string "of", 257 string "of",
258 space, 258 space,
259 p_list_sep (box [space, string "|", space]) 259 p_list_sep (box [space, string "|", space])
260 (fn (p, e) => box [p_pat p, 260 (fn (p, e) => box [p_pat p,