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