Mercurial > urweb

comparison src/core_print.sml @ 31:1c91c5e6840f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents 537db4ee89f4
children 02f42e9a1825
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
256 p_exp env e] 256 p_exp env e]
257 end 257 end
258 258
259 fun p_file env file = 259 fun p_file env file =
260 let 260 let
261 val (_, pds) = ListUtil.mapfoldl (fn (d, env) => 261 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
262 (E.declBinds env d, 262 (p_decl env d,
263 p_decl env d)) 263 E.declBinds env d))
264 env file 264 env file
265 in 265 in
266 p_list_sep newline (fn x => x) pds 266 p_list_sep newline (fn x => x) pds
267 end 267 end
268 268