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