comparison src/mono_print.sml @ 144:f0d3402184d1

Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 78d59cf0a0cc
children 6847741e1f5f
comparison
equal deleted inserted replaced
143:4b9c2bd6157c 144:f0d3402184d1
176 string "rec", 176 string "rec",
177 space, 177 space,
178 p_list_sep (box [newline, string "and", space]) (p_vali env) vis] 178 p_list_sep (box [newline, string "and", space]) (p_vali env) vis]
179 end 179 end
180 180
181 | DExport (s, n, ts) => box [string "export", 181 | DExport (ek, s, n, ts) => box [string "export",
182 space, 182 space,
183 p_enamed env n, 183 CorePrint.p_export_kind ek,
184 space, 184 space,
185 string "as", 185 p_enamed env n,
186 space, 186 space,
187 string s, 187 string "as",
188 p_list_sep (string "") (fn t => box [space, 188 space,
189 string "(", 189 string s,
190 p_typ env t, 190 p_list_sep (string "") (fn t => box [space,
191 string ")"]) ts] 191 string "(",
192 p_typ env t,
193 string ")"]) ts]
192 194
193 fun p_file env file = 195 fun p_file env file =
194 let 196 let
195 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 197 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
196 (p_decl env d, 198 (p_decl env d,