Mercurial > urweb

comparison src/elab_print.sml @ 67:9f89f0b00b84

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating cfold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 09:48:54 -0400
parents abb2b32c19fb
children 6431b315a1e3
comparison
equal deleted inserted replaced
66:1ec5703c09c4 67:9f89f0b00b84
150 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1, 150 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1,
151 space, 151 space,
152 string "++", 152 string "++",
153 space, 153 space,
154 p_con env c2]) 154 p_con env c2])
155 | CFold _ => string "fold"
155 156
156 | CError => string "<ERROR>" 157 | CError => string "<ERROR>"
157 | CUnif (_, _, ref (SOME c)) => p_con' par env c 158 | CUnif (_, _, ref (SOME c)) => p_con' par env c
158 | CUnif (k, s, _) => box [string ("<UNIF:" ^ s ^ "::"), 159 | CUnif (k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
159 p_kind k, 160 p_kind k,