Mercurial > urweb

diff src/mono_print.sml @ 120:6230bdd122e7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Passing an argument to a web function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 20:07:10 -0400
parents ff13d390ec60
children 76a4d69719d8
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Jul 13 16:11:25 2008 -0400
+++ b/src/mono_print.sml	Sun Jul 13 20:07:10 2008 -0400
@@ -166,12 +166,16 @@
                  p_exp env e]
         end
 
-      | DExport (s, n) => box [string "export",
-                               space,
-                               p_enamed env n,
-                               space,
-                               string "as",
-                               string s]
+      | DExport (s, n, ts) => box [string "export",
+                                   space,
+                                   p_enamed env n,
+                                   space,
+                                   string "as",
+                                   string s,
+                                   p_list_sep (string "") (fn t => box [space,
+                                                                        string "(",
+                                                                        p_typ env t,
+                                                                        string ")"]) ts]
                           
 fun p_file env file =
     let