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,