Mercurial > urweb
comparison src/source_print.sml @ 18:9a578171de9e
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 |