Mercurial > urweb
diff src/cjr_env.sml @ 129:78d59cf0a0cc
Compiled (non-mutual) 'val rec'
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Jul 2008 11:02:10 -0400 |
parents | 91027db5a07c |
children | e52dfb1e6b19 |
line wrap: on
line diff
--- a/src/cjr_env.sml Thu Jul 17 10:48:25 2008 -0400 +++ b/src/cjr_env.sml Thu Jul 17 11:02:10 2008 -0400 @@ -125,6 +125,13 @@ in pushENamed env fx n t end + | DFunRec vis => + foldl (fn ((fx, n, args, ran, _), env) => + let + val t = foldl (fn ((_, arg), t) => (TFun (arg, t), loc)) ran args + in + pushENamed env fx n t + end) env vis | DStruct (n, xts) => pushStruct env n xts end