summaryrefslogtreecommitdiff
path: root/src/cjrize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 20:07:10 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 20:07:10 -0400
commit811a3831805bf7a87ed3a64156f4ac6f6246edb9 (patch)
treea2bc2022ac4e0412a787a526135aafc99db66998 /src/cjrize.sml
parent97cc749872a8baf53bb34ef1b536b82f6aa7f1c7 (diff)
Passing an argument to a web function
Diffstat (limited to 'src/cjrize.sml')
-rw-r--r--src/cjrize.sml7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml
index 78b73dba..e14f7db1 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -184,7 +184,12 @@ fun cifyDecl ((d, loc), sm) =
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