diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-22 15:12:20 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-22 15:12:20 -0400 |
| commit | e8ceaa0ae216c7c85e810998ab97989e7a83c82d (patch) | |
| tree | f26deeee6825b28bb3e6005523f887de3c1a79a4 /src/mono_print.sml | |
| parent | b1997d2e699e92e83f7130b7b4a4c5467dcdcd27 (diff) | |
Simple forms work
Diffstat (limited to 'src/mono_print.sml')
| -rw-r--r-- | src/mono_print.sml | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml index 6f9c1b66..c485e3c8 100644 --- a/src/mono_print.sml +++ b/src/mono_print.sml @@ -178,17 +178,19 @@ fun p_decl env (dAll as (d, _) : decl) = p_list_sep (box [newline, string "and", space]) (p_vali env) vis] end - | DExport (s, n, ts) => box [string "export", - 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] + | DExport (ek, s, n, ts) => box [string "export", + space, + CorePrint.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] fun p_file env file = let |