Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
120:6230bdd122e7 121:91027db5a07c
96 96
97 fun attrify (args, ft, e) = 97 fun attrify (args, ft, e) =
98 case (args, ft) of 98 case (args, ft) of
99 ([], _) => e 99 ([], _) => e
100 | (arg :: args, (L'.TFun (t, ft), _)) => 100 | (arg :: args, (L'.TFun (t, ft), _)) =>
101 (L'.EStrcat (e, 101 attrify (args, ft,
102 (L'.EStrcat ((L'.EPrim (Prim.String "/"), loc), 102 (L'.EStrcat (e,
103 fooify (arg, t)), loc)), loc) 103 (L'.EStrcat ((L'.EPrim (Prim.String "/"), loc),
104 fooify (arg, t)), loc)), loc))
104 | _ => (E.errorAt loc "Type mismatch encoding attribute"; 105 | _ => (E.errorAt loc "Type mismatch encoding attribute";
105 e) 106 e)
106 in 107 in
107 attrify (args, ft, (L'.EPrim (Prim.String s), loc)) 108 attrify (args, ft, (L'.EPrim (Prim.String s), loc))
108 end 109 end