Mercurial > urweb
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 "}"] |