Mercurial > urweb

diff src/cjrize.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 c5d7ce9ddd57
children 91027db5a07c
line wrap: on
line diff
--- a/src/cjrize.sml	Sun Jul 13 16:11:25 2008 -0400
+++ b/src/cjrize.sml	Sun Jul 13 20:07:10 2008 -0400
@@ -184,7 +184,12 @@
         in
             (SOME (d, loc), NONE, sm)
         end
-      | L.DExport (s, n) => (NONE, SOME ("/" ^ s, n), sm)
+      | L.DExport (s, n, ts) =>
+        let
+            val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
+        in
+            (NONE, SOME ("/" ^ s, n, ts), sm)
+        end
 
 fun cjrize ds =
     let