From 3c2cf28f8c508355be291a3ce2ecc9bb571f97dd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Jul 2008 12:56:39 -0400
Subject: Cjr ready for dispatch code generation

---
 src/mono_print.sml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'src/mono_print.sml')

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
-- 
cgit v1.2.3