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