Mercurial > urweb

diff src/mono_util.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 2d6116de9cca
children 76a4d69719d8
line wrap: on
line diff
--- a/src/mono_util.sml	Sun Jul 13 16:11:25 2008 -0400
+++ b/src/mono_util.sml	Sun Jul 13 20:07:10 2008 -0400
@@ -264,7 +264,10 @@
                          S.map2 (mfe ctx e,
                               fn e' =>
                                  (DVal (x, n, t', e', s), loc)))
-              | DExport _ => S.return2 dAll
+              | DExport (s, n, ts) =>
+                S.map2 (ListUtil.mapfold mft ts,
+                        fn ts' =>
+                           (DExport (s, n, ts'), loc))
     in
         mfd
     end