diff options
author | 2009-12-31 11:41:57 -0500 | |
---|---|---|
committer | 2009-12-31 11:41:57 -0500 | |
commit | d92155463bff760184418a3d282730841c9e3b7f (patch) | |
tree | bd23d8cf5bd50193307b43173436dee92553e4cd /src/core_print.sml | |
parent | 1cde40c8c97b7edc597ed62edce0484e178dfe7d (diff) |
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
Diffstat (limited to 'src/core_print.sml')
-rw-r--r-- | src/core_print.sml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/core_print.sml b/src/core_print.sml index c1f93587..d6be76a3 100644 --- a/src/core_print.sml +++ b/src/core_print.sml @@ -547,16 +547,16 @@ fun p_decl env (dAll as (d, _) : decl) = 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, |