Mercurial > urweb

comparison src/elab_print.sml @ 84:e86370850c30

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Disjointness assumptions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 12:10:46 -0400
parents b4f2a258e52c
children 1f85890c9846
comparison
equal deleted inserted replaced
83:0a1baddd8ab2 84:e86370850c30
124 p_kind k, 124 p_kind k,
125 space, 125 space,
126 string "=>", 126 string "=>",
127 space, 127 space,
128 p_con (E.pushCRel env x k) c]) 128 p_con (E.pushCRel env x k) c])
129 | CDisjoint (c1, c2, c3) => parenIf par (box [p_con env c1,
130 space,
131 string "~",
132 space,
133 p_con env c2,
134 space,
135 string "=>",
136 space,
137 p_con env c3])
129 138
130 | CName s => box [string "#", string s] 139 | CName s => box [string "#", string s]
131 140
132 | CRecord (k, xcs) => 141 | CRecord (k, xcs) =>
133 if !debug then 142 if !debug then