Mercurial > urweb

comparison src/mono_print.sml @ 100:f0f59e918cac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents 40d146f467c5
children 5f04adf47f48
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
141 space, 141 space,
142 string "=", 142 string "=",
143 space, 143 space,
144 p_exp env e] 144 p_exp env e]
145 end 145 end
146 146 | DPage (xcs, e) => box [string "page",
147 string "[",
148 p_list (fn (x, t) =>
149 box [string x,
150 space,
151 string ":",
152 space,
153 p_typ env t]) xcs,
154 string "]",
155 space,
156 string "=",
157 space,
158 p_exp env e]
159
147 fun p_file env file = 160 fun p_file env file =
148 let 161 let
149 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 162 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
150 (p_decl env d, 163 (p_decl env d,
151 E.declBinds env d)) 164 E.declBinds env d))