aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/core_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-22 15:12:20 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-22 15:12:20 -0400
commite8ceaa0ae216c7c85e810998ab97989e7a83c82d (patch)
treef26deeee6825b28bb3e6005523f887de3c1a79a4 /src/core_print.sml
parentb1997d2e699e92e83f7130b7b4a4c5467dcdcd27 (diff)
Simple forms work
Diffstat (limited to 'src/core_print.sml')
-rw-r--r--src/core_print.sml17
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