Mercurial > urweb

comparison src/source_print.sml @ 85:1f85890c9846

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Disjointness assumptions in expressions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 12:25:12 -0400
parents e86370850c30
children 7bab29834cd6
comparison
equal deleted inserted replaced
84:e86370850c30 85:1f85890c9846
76 p_kind k, 76 p_kind k,
77 space, 77 space,
78 string "->", 78 string "->",
79 space, 79 space,
80 p_con c]) 80 p_con c])
81 | TDisjoint (c1, c2, c3) => parenIf par (box [p_con c1,
82 space,
83 string "~",
84 space,
85 p_con c2,
86 space,
87 string "->",
88 space,
89 p_con c3])
81 | TRecord (CRecord xcs, _) => box [string "{", 90 | TRecord (CRecord xcs, _) => box [string "{",
82 p_list (fn (x, c) => 91 p_list (fn (x, c) =>
83 box [p_name x, 92 box [p_name x,
84 space, 93 space,
85 string ":", 94 string ":",
200 p_kind k, 209 p_kind k,
201 space, 210 space,
202 string "=>", 211 string "=>",
203 space, 212 space,
204 p_exp e]) 213 p_exp e])
214 | EDisjoint (c1, c2, e) => parenIf par (box [p_con c1,
215 space,
216 string "~",
217 space,
218 p_con c2,
219 space,
220 string "=>",
221 space,
222 p_exp e])
205 223
206 | ERecord xes => box [string "{", 224 | ERecord xes => box [string "{",
207 p_list (fn (x, e) => 225 p_list (fn (x, e) =>
208 box [p_name x, 226 box [p_name x,
209 space, 227 space,