comparison src/flat_print.sml @ 31:1c91c5e6840f

Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents 537db4ee89f4
children 198172560b73
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
185 185
186 end 186 end
187 187
188 fun p_file env file = 188 fun p_file env file =
189 let 189 let
190 val (_, pds) = ListUtil.mapfoldl (fn (d, env) => 190 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
191 (E.declBinds env d, 191 (p_decl env d,
192 p_decl env d)) 192 E.declBinds env d))
193 env file 193 env file
194 in 194 in
195 p_list_sep newline (fn x => x) pds 195 p_list_sep newline (fn x => x) pds
196 end 196 end
197 197