Mercurial > urweb

comparison src/source_print.sml @ 18:9a578171de9e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Unification wildcards
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 14:25:27 -0400
parents f1c36df29ed7
children 1ab48e37d0ef
comparison
equal deleted inserted replaced
17:9bd8669d53c2 18:9a578171de9e
42 string "->", 42 string "->",
43 space, 43 space,
44 p_kind k2]) 44 p_kind k2])
45 | KName => string "Name" 45 | KName => string "Name"
46 | KRecord k => box [string "{", p_kind k, string "}"] 46 | KRecord k => box [string "{", p_kind k, string "}"]
47 | KWild => string "_"
47 48
48 and p_kind k = p_kind' false k 49 and p_kind k = p_kind' false k
49 50
50 fun p_explicitness e = 51 fun p_explicitness e =
51 case e of 52 case e of
116 | CConcat (c1, c2) => parenIf par (box [p_con' true c1, 117 | CConcat (c1, c2) => parenIf par (box [p_con' true c1,
117 space, 118 space,
118 string "++", 119 string "++",
119 space, 120 space,
120 p_con c2]) 121 p_con c2])
122 | CWild k => box [string "(_",
123 space,
124 string "::",
125 space,
126 p_kind k]
121 127
122 and p_con c = p_con' false c 128 and p_con c = p_con' false c
123 129
124 fun p_exp' par (e, _) = 130 fun p_exp' par (e, _) =
125 case e of 131 case e of