Mercurial > urweb
diff src/core_print.sml @ 1104:72670131dace
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 31 Dec 2009 11:41:57 -0500 |
| parents | 0657e5adc938 |
| children | c316ca3c9ec6 |
line wrap: on
line diff
--- a/src/core_print.sml Wed Dec 30 09:52:18 2009 -0500 +++ b/src/core_print.sml Thu Dec 31 11:41:57 2009 -0500 @@ -547,16 +547,16 @@ space, p_list_sep (box [newline, string "and", space]) (p_vali env) vis] end - | DExport (ek, n) => box [string "export", - space, - Export.p_export_kind ek, - space, - p_enamed env n, - space, - string "as", - space, - (p_con env (#2 (E.lookupENamed env n)) - handle E.UnboundNamed _ => string "UNBOUND")] + | DExport (ek, n, _) => box [string "export", + space, + Export.p_export_kind ek, + space, + p_enamed env n, + space, + string "as", + space, + (p_con env (#2 (E.lookupENamed env n)) + handle E.UnboundNamed _ => string "UNBOUND")] | DTable (x, n, c, s, pe, _, ce, _) => box [string "table", space, p_named x n,