Mercurial > urweb

comparison src/elab_print.sml @ 13:6049e2193bf2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lifting cons in ElabEnv
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 11:32:48 -0400
parents d89477f07c1e
children f1c36df29ed7
comparison
equal deleted inserted replaced
12:d89477f07c1e 13:6049e2193bf2
268 end 268 end
269 269
270 fun p_file env file = 270 fun p_file env file =
271 let 271 let
272 val (_, pds) = ListUtil.mapfoldl (fn (d, env) => 272 val (_, pds) = ListUtil.mapfoldl (fn (d, env) =>
273 (ElabUtil.declBinds env d, 273 (E.declBinds env d,
274 p_decl env d)) 274 p_decl env d))
275 env file 275 env file
276 in 276 in
277 p_list_sep newline (fn x => x) pds 277 p_list_sep newline (fn x => x) pds
278 end 278 end