Mercurial > urweb

comparison src/expl_env.sml @ 124:541282b81454

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explifying (non-mutual) 'val rec'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 10:13:18 -0400
parents 813e5a52063d
children 06a98129b23f
comparison
equal deleted inserted replaced
123:e3041657d653 124:541282b81454
238 238
239 fun declBinds env (d, _) = 239 fun declBinds env (d, _) =
240 case d of 240 case d of
241 DCon (x, n, k, c) => pushCNamed env x n k (SOME c) 241 DCon (x, n, k, c) => pushCNamed env x n k (SOME c)
242 | DVal (x, n, t, _) => pushENamed env x n t 242 | DVal (x, n, t, _) => pushENamed env x n t
243 | DValRec vis => foldl (fn ((x, n, t, _), env) => pushENamed env x n t) env vis
243 | DSgn (x, n, sgn) => pushSgnNamed env x n sgn 244 | DSgn (x, n, sgn) => pushSgnNamed env x n sgn
244 | DStr (x, n, sgn, _) => pushStrNamed env x n sgn 245 | DStr (x, n, sgn, _) => pushStrNamed env x n sgn
245 | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn 246 | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn
246 | DExport _ => env 247 | DExport _ => env
247 248