Mercurial > urweb
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 |