Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
128:b04f7422c832 129:78d59cf0a0cc
123 let 123 let
124 val t = foldl (fn ((_, arg), t) => (TFun (arg, t), loc)) ran args 124 val t = foldl (fn ((_, arg), t) => (TFun (arg, t), loc)) ran args
125 in 125 in
126 pushENamed env fx n t 126 pushENamed env fx n t
127 end 127 end
128 | DFunRec vis =>
129 foldl (fn ((fx, n, args, ran, _), env) =>
130 let
131 val t = foldl (fn ((_, arg), t) => (TFun (arg, t), loc)) ran args
132 in
133 pushENamed env fx n t
134 end) env vis
128 | DStruct (n, xts) => pushStruct env n xts 135 | DStruct (n, xts) => pushStruct env n xts
129 136
130 end 137 end