Mercurial > urweb
diff src/cjr_env.sml @ 121:91027db5a07c
Multiple arguments to web functions
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Jul 2008 20:24:05 -0400 |
parents | 813e5a52063d |
children | 78d59cf0a0cc |
line wrap: on
line diff
--- a/src/cjr_env.sml Sun Jul 13 20:07:10 2008 -0400 +++ b/src/cjr_env.sml Sun Jul 13 20:24:05 2008 -0400 @@ -119,7 +119,12 @@ fun declBinds env (d, loc) = case d of DVal (x, n, t, _) => pushENamed env x n t - | DFun (fx, n, _, dom, ran, _) => pushENamed env fx n (TFun (dom, ran), loc) + | DFun (fx, n, args, ran, _) => + let + val t = foldl (fn ((_, arg), t) => (TFun (arg, t), loc)) ran args + in + pushENamed env fx n t + end | DStruct (n, xts) => pushStruct env n xts end