Mercurial > urweb

diff src/mono_print.sml @ 115:ff13d390ec60

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cjr ready for dispatch code generation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:56:39 -0400
parents 2d6116de9cca
children 6230bdd122e7
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Jul 13 12:51:58 2008 -0400
+++ b/src/mono_print.sml	Sun Jul 13 12:56:39 2008 -0400
@@ -166,9 +166,12 @@
                  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