Mercurial > urweb

diff src/mono_print.sml @ 144:f0d3402184d1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 78d59cf0a0cc
children 6847741e1f5f
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Jul 20 13:30:19 2008 -0400
+++ b/src/mono_print.sml	Tue Jul 22 15:12:20 2008 -0400
@@ -178,17 +178,19 @@
                  p_list_sep (box [newline, string "and", space]) (p_vali env) vis]
         end
 
-      | DExport (s, n, ts) => box [string "export",
-                                   space,
-                                   p_enamed env n,
-                                   space,
-                                   string "as",
-                                   space,
-                                   string s,
-                                   p_list_sep (string "") (fn t => box [space,
-                                                                        string "(",
-                                                                        p_typ env t,
-                                                                        string ")"]) ts]
+      | DExport (ek, s, n, ts) => box [string "export",
+                                       space,
+                                       CorePrint.p_export_kind ek,
+                                       space,
+                                       p_enamed env n,
+                                       space,
+                                       string "as",
+                                       space,
+                                       string s,
+                                       p_list_sep (string "") (fn t => box [space,
+                                                                            string "(",
+                                                                            p_typ env t,
+                                                                            string ")"]) ts]
                           
 fun p_file env file =
     let