Mercurial > urweb
comparison src/core_print.sml @ 29:537db4ee89f4
Translation to Cjr
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Jun 2008 18:28:43 -0400 |
parents | 4ab19c19665f |
children | 1c91c5e6840f |
comparison
equal
deleted
inserted
replaced
28:104d43266b33 | 29:537db4ee89f4 |
---|---|
182 string "=>", | 182 string "=>", |
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_name 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, |