Mercurial > urweb
comparison src/mono_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 | 92361a008a10 |
comparison
equal
deleted
inserted
replaced
30:e6ccf961d8a3 | 31:1c91c5e6840f |
---|---|
128 p_exp env e] | 128 p_exp env e] |
129 end | 129 end |
130 | 130 |
131 fun p_file env file = | 131 fun p_file env file = |
132 let | 132 let |
133 val (_, pds) = ListUtil.mapfoldl (fn (d, env) => | 133 val (pds, _) = ListUtil.foldlMap (fn (d, env) => |
134 (E.declBinds env d, | 134 (p_decl env d, |
135 p_decl env d)) | 135 E.declBinds env d)) |
136 env file | 136 env file |
137 in | 137 in |
138 p_list_sep newline (fn x => x) pds | 138 p_list_sep newline (fn x => x) pds |
139 end | 139 end |
140 | 140 |