aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/mono_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 12:56:39 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 12:56:39 -0400
commit3c2cf28f8c508355be291a3ce2ecc9bb571f97dd (patch)
tree080575b2de86cc12064fbcb794b8341d5de9313a /src/mono_print.sml
parent46c36cb682c91bbfad52b35c68d8332757c2bbce (diff)
Cjr ready for dispatch code generation
Diffstat (limited to 'src/mono_print.sml')
-rw-r--r--src/mono_print.sml9
1 files changed, 6 insertions, 3 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml
index 07065b3a..c3738c59 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -166,9 +166,12 @@ fun p_decl env ((d, _) : decl) =
p_exp env e]
end
- | DExport n => box [string "export",
- space,
- p_enamed env n]
+ | DExport (s, n) => box [string "export",
+ space,
+ p_enamed env n,
+ space,
+ string "as",
+ string s]
fun p_file env file =
let