comparison src/cjr_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 4f641f8fddaa
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
184 string "}"] 184 string "}"]
185 end 185 end
186 186
187 fun p_file env file = 187 fun p_file env file =
188 let 188 let
189 val (_, pds) = ListUtil.mapfoldl (fn (d, env) => 189 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
190 (E.declBinds env d, 190 (p_decl env d,
191 p_decl env d)) 191 E.declBinds env d))
192 env file 192 env file
193 in 193 in
194 p_list_sep newline (fn x => x) pds 194 p_list_sep newline (fn x => x) pds
195 end 195 end
196 196