Mercurial > urweb

comparison src/elab_print.sml @ 26:4ab19c19665f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Closure conversion
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Jun 2008 15:56:33 -0400
parents 067029c748e9
children 537db4ee89f4
comparison
equal deleted inserted replaced
25:0a762c73824d 26:4ab19c19665f
168 else 168 else
169 string (#1 (E.lookupENamed env n)) 169 string (#1 (E.lookupENamed env n))
170 | EApp (e1, e2) => parenIf par (box [p_exp env e1, 170 | EApp (e1, e2) => parenIf par (box [p_exp env e1,
171 space, 171 space,
172 p_exp' true env e2]) 172 p_exp' true env e2])
173 | EAbs (x, t, e) => parenIf par (box [string "fn", 173 | EAbs (x, t, _, e) => parenIf par (box [string "fn",
174 space, 174 space,
175 string x, 175 string x,
176 space, 176 space,
177 string ":", 177 string ":",
178 space, 178 space,
179 p_con env t, 179 p_con env t,
180 space, 180 space,
181 string "=>", 181 string "=>",
182 space, 182 space,
183 p_exp (E.pushERel env x t) e]) 183 p_exp (E.pushERel env x t) e])
184 | ECApp (e, c) => parenIf par (box [p_exp env e, 184 | ECApp (e, c) => parenIf par (box [p_exp env e,
185 space, 185 space,
186 string "[", 186 string "[",
187 p_con env c, 187 p_con env c,
188 string "]"]) 188 string "]"])