Mercurial > urweb
comparison src/flat_print.sml @ 101:717b6f8d8505
First executable generated
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 11:13:49 -0400 |
parents | 198172560b73 |
children | 5f04adf47f48 |
comparison
equal
deleted
inserted
replaced
100:f0f59e918cac | 101:717b6f8d8505 |
---|---|
192 space, | 192 space, |
193 p_exp (E.pushERel env x dom) e] | 193 p_exp (E.pushERel env x dom) e] |
194 | 194 |
195 end | 195 end |
196 | 196 |
197 | DPage (xcs, e) => box [string "page", | |
198 string "[", | |
199 p_list (fn (x, t) => | |
200 box [string x, | |
201 space, | |
202 string ":", | |
203 space, | |
204 p_typ env t]) xcs, | |
205 string "]", | |
206 space, | |
207 string "=", | |
208 space, | |
209 p_exp env e] | |
210 | |
197 fun p_file env file = | 211 fun p_file env file = |
198 let | 212 let |
199 val (pds, _) = ListUtil.foldlMap (fn (d, env) => | 213 val (pds, _) = ListUtil.foldlMap (fn (d, env) => |
200 (p_decl env d, | 214 (p_decl env d, |
201 E.declBinds env d)) | 215 E.declBinds env d)) |