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/core_print.sml | |
parent | b1997d2e699e92e83f7130b7b4a4c5467dcdcd27 (diff) |
Simple forms work
Diffstat (limited to 'src/core_print.sml')
-rw-r--r-- | src/core_print.sml | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/src/core_print.sml b/src/core_print.sml index 3436d313..590b90fd 100644 --- a/src/core_print.sml +++ b/src/core_print.sml @@ -264,6 +264,11 @@ fun p_vali env (x, n, t, e, s) = p_exp env e] end +fun p_export_kind ck = + case ck of + Link => string "link" + | Action => string "action" + fun p_decl env (dAll as (d, _) : decl) = case d of DCon (x, n, k, c) => @@ -300,9 +305,15 @@ fun p_decl env (dAll as (d, _) : decl) = space, p_list_sep (box [newline, string "and", space]) (p_vali env) vis] end - | DExport n => box [string "export", - space, - p_enamed env n] + | DExport (ek, n) => box [string "export", + space, + p_export_kind ek, + space, + p_enamed env n, + space, + string "as", + space, + p_con env (#2 (E.lookupENamed env n))] fun p_file env file = let |