Mercurial > urweb

comparison src/elab_print.sml @ 147:eb16f2aadbe9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Meta-programming forms
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 18:46:04 -0400
parents e3041657d653
children 7420fa18d657
comparison
equal deleted inserted replaced
146:80ac94b54e41 147:eb16f2aadbe9
123 end 123 end
124 124
125 | CApp (c1, c2) => parenIf par (box [p_con env c1, 125 | CApp (c1, c2) => parenIf par (box [p_con env c1,
126 space, 126 space,
127 p_con' true env c2]) 127 p_con' true env c2])
128 | CAbs (x, k, c) => parenIf par (box [string "fn", 128 | CAbs (x, k, c) => parenIf true (box [string "fn",
129 space, 129 space,
130 string x, 130 string x,
131 space, 131 space,
132 string "::", 132 string "::",
133 space, 133 space,
134 p_kind k, 134 p_kind k,
135 space, 135 space,
136 string "=>", 136 string "=>",
137 space, 137 space,
138 p_con (E.pushCRel env x k) c]) 138 p_con (E.pushCRel env x k) c])
139 | CDisjoint (c1, c2, c3) => parenIf par (box [p_con env c1, 139 | CDisjoint (c1, c2, c3) => parenIf par (box [p_con env c1,
140 space, 140 space,
141 string "~", 141 string "~",
142 space, 142 space,
143 p_con env c2, 143 p_con env c2,