Mercurial > urweb

comparison src/core_print.sml @ 21:067029c748e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
183 space, 183 space,
184 p_exp (E.pushCRel env x k) e]) 184 p_exp (E.pushCRel env x k) e])
185 185
186 | ERecord xes => box [string "{", 186 | ERecord xes => box [string "{",
187 p_list (fn (x, e) => 187 p_list (fn (x, e) =>
188 box [p_con env x, 188 box [p_name env x,
189 space, 189 space,
190 string "=", 190 string "=",
191 space, 191 space,
192 p_exp env e]) xes, 192 p_exp env e]) xes,
193 string "}"] 193 string "}"]