Mercurial > urweb

comparison src/core_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
153 else 153 else
154 string (#1 (E.lookupENamed env n)) 154 string (#1 (E.lookupENamed env n))
155 | EApp (e1, e2) => parenIf par (box [p_exp env e1, 155 | EApp (e1, e2) => parenIf par (box [p_exp env e1,
156 space, 156 space,
157 p_exp' true env e2]) 157 p_exp' true env e2])
158 | EAbs (x, t, e) => parenIf par (box [string "fn", 158 | EAbs (x, t, _, e) => parenIf par (box [string "fn",
159 space, 159 space,
160 string x, 160 string x,
161 space, 161 space,
162 string ":", 162 string ":",
163 space, 163 space,
164 p_con env t, 164 p_con env t,
165 space, 165 space,
166 string "=>", 166 string "=>",
167 space, 167 space,
168 p_exp (E.pushERel env x t) e]) 168 p_exp (E.pushERel env x t) e])
169 | ECApp (e, c) => parenIf par (box [p_exp env e, 169 | ECApp (e, c) => parenIf par (box [p_exp env e,
170 space, 170 space,
171 string "[", 171 string "[",
172 p_con env c, 172 p_con env c,
173 string "]"]) 173 string "]"])