Mercurial > urweb

diff src/cjr_env.sml @ 129:78d59cf0a0cc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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