Mercurial > urweb

diff src/monoize.sml @ 121:91027db5a07c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Multiple arguments to web functions
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 20:24:05 -0400
parents 6230bdd122e7
children fd98dd10dce7
line wrap: on
line diff
--- a/src/monoize.sml	Sun Jul 13 20:07:10 2008 -0400
+++ b/src/monoize.sml	Sun Jul 13 20:24:05 2008 -0400
@@ -98,9 +98,10 @@
                         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