diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-31 11:41:57 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-31 11:41:57 -0500 |
| commit | 21678b3f280cd85961e3354faecc29aab4819de4 (patch) | |
| tree | bd23d8cf5bd50193307b43173436dee92553e4cd /src/mono_print.sml | |
| parent | c0b98201e7415eeada11e08c69264cf165bba50f (diff) | |
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
Diffstat (limited to 'src/mono_print.sml')
| -rw-r--r-- | src/mono_print.sml | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml index da34c220..d190640e 100644 --- a/src/mono_print.sml +++ b/src/mono_print.sml @@ -423,23 +423,23 @@ fun p_decl env (dAll as (d, _) : decl) = p_list_sep (box [newline, string "and", space]) (p_vali env) vis] end - | DExport (ek, s, n, ts, t) => box [string "export", - space, - Export.p_export_kind ek, - space, - p_enamed env n, - space, - string "as", - space, - string s, - p_list_sep (string "") (fn t => box [space, - string "(", - p_typ env t, - string ")"]) ts, - space, - string "->", - space, - p_typ env t] + | DExport (ek, s, n, ts, t, _) => box [string "export", + space, + Export.p_export_kind ek, + space, + p_enamed env n, + space, + string "as", + space, + string s, + p_list_sep (string "") (fn t => box [space, + string "(", + p_typ env t, + string ")"]) ts, + space, + string "->", + space, + p_typ env t] | DTable (s, xts, pe, ce) => box [string "(* SQL table ", string s, |