Mercurial > urweb

comparison src/source_print.sml @ 82:b4f2a258e52c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial disjointness prover
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 10:55:38 -0400
parents 6431b315a1e3
children e86370850c30
comparison
equal deleted inserted replaced
81:60d97de1bbe8 82:b4f2a258e52c
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 | KUnit => string "Unit"
47 | KWild => string "_" 48 | KWild => string "_"
48 49
49 and p_kind k = p_kind' false k 50 and p_kind k = p_kind' false k
50 51
51 fun p_explicitness e = 52 fun p_explicitness e =
125 space, 126 space,
126 string "++", 127 string "++",
127 space, 128 space,
128 p_con c2]) 129 p_con c2])
129 | CFold => string "fold" 130 | CFold => string "fold"
131
132 | CUnit => string "()"
133
130 | CWild k => box [string "(_", 134 | CWild k => box [string "(_",
131 space, 135 space,
132 string "::", 136 string "::",
133 space, 137 space,
134 p_kind k] 138 p_kind k]