Mercurial > urweb

comparison src/elab_print.sml @ 345:b85e6ba56618

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge CDisjoint and TDisjoint
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Oct 2008 15:50:28 -0400
parents 075b36dbb1a4
children dfc8c991abd0
comparison
equal deleted inserted replaced
344:3c0feecd057d 345:b85e6ba56618
78 p_kind k, 78 p_kind k,
79 space, 79 space,
80 string "->", 80 string "->",
81 space, 81 space,
82 p_con (E.pushCRel env x k) c]) 82 p_con (E.pushCRel env x k) c])
83 | TDisjoint (_, c1, c2, c3) => parenIf par (box [p_con env c1, 83 | CDisjoint (_, c1, c2, c3) => parenIf par (box [p_con env c1,
84 space, 84 space,
85 string "~", 85 string "~",
86 space, 86 space,
87 p_con env c2, 87 p_con env c2,
88 space, 88 space,
89 string "->", 89 string "=>",
90 space, 90 space,
91 p_con env c3]) 91 p_con env c3])
92 | TRecord (CRecord (_, xcs), _) => box [string "{", 92 | TRecord (CRecord (_, xcs), _) => box [string "{",
93 p_list (fn (x, c) => 93 p_list (fn (x, c) =>
94 box [p_name env x, 94 box [p_name env x,
137 p_kind k, 137 p_kind k,
138 space, 138 space,
139 string "=>", 139 string "=>",
140 space, 140 space,
141 p_con (E.pushCRel env x k) c]) 141 p_con (E.pushCRel env x k) c])
142 | CDisjoint (c1, c2, c3) => parenIf par (box [p_con env c1,
143 space,
144 string "~",
145 space,
146 p_con env c2,
147 space,
148 string "=>",
149 space,
150 p_con env c3])
151 142
152 | CName s => box [string "#", string s] 143 | CName s => box [string "#", string s]
153 144
154 | CRecord (k, xcs) => 145 | CRecord (k, xcs) =>
155 if !debug then 146 if !debug then