comparison src/elab_print.sml @ 21:067029c748e9

Beta reductions for expressions
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 16:02:26 -0400
parents 1ab48e37d0ef
children 4ab19c19665f
comparison
equal deleted inserted replaced
20:1ab48e37d0ef 21:067029c748e9
198 space, 198 space,
199 p_exp (E.pushCRel env x k) e]) 199 p_exp (E.pushCRel env x k) e])
200 200
201 | ERecord xes => box [string "{", 201 | ERecord xes => box [string "{",
202 p_list (fn (x, e) => 202 p_list (fn (x, e) =>
203 box [p_con env x, 203 box [p_name env x,
204 space, 204 space,
205 string "=", 205 string "=",
206 space, 206 space,
207 p_exp env e]) xes, 207 p_exp env e]) xes,
208 string "}"] 208 string "}"]