From cf6caf0383daf8cb576edf5c1f0f736d2f4c85bd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Jul 2008 20:24:05 -0400
Subject: Multiple arguments to web functions

---
 src/monoize.sml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/monoize.sml')

diff --git a/src/monoize.sml b/src/monoize.sml
index b5d9099f..b314d1d6 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -98,9 +98,10 @@ fun fooifyExp name env =
                         case (args, ft) of
                             ([], _) => e
                           | (arg :: args, (L'.TFun (t, ft), _)) =>
-                            (L'.EStrcat (e,
-                                         (L'.EStrcat ((L'.EPrim (Prim.String "/"), loc),
-                                                      fooify (arg, t)), loc)), loc)
+                            attrify (args, ft,
+                                     (L'.EStrcat (e,
+                                                  (L'.EStrcat ((L'.EPrim (Prim.String "/"), loc),
+                                                               fooify (arg, t)), loc)), loc))
                           | _ => (E.errorAt loc "Type mismatch encoding attribute";
                                   e)
                 in
-- 
cgit v1.2.3