Mercurial > urweb
comparison src/core_print.sml @ 100:f0f59e918cac
page declaration, up through monoize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 10:11:35 -0400 |
parents | 275aaeb73f1f |
children | 5f04adf47f48 |
comparison
equal
deleted
inserted
replaced
99:5182f0c80d2e | 100:f0f59e918cac |
---|---|
270 space, | 270 space, |
271 string "=", | 271 string "=", |
272 space, | 272 space, |
273 p_exp env e] | 273 p_exp env e] |
274 end | 274 end |
275 | DPage (c, e) => box [string "page", | |
276 p_con env c, | |
277 space, | |
278 string "=", | |
279 space, | |
280 p_exp env e] | |
275 | 281 |
276 fun p_file env file = | 282 fun p_file env file = |
277 let | 283 let |
278 val (pds, _) = ListUtil.foldlMap (fn (d, env) => | 284 val (pds, _) = ListUtil.foldlMap (fn (d, env) => |
279 (p_decl env d, | 285 (p_decl env d, |