Mercurial > urweb

comparison src/expl_env.sml @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents f0f59e918cac
children 541282b81454
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
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 | DSgn (x, n, sgn) => pushSgnNamed env x n sgn 243 | DSgn (x, n, sgn) => pushSgnNamed env x n sgn
244 | DStr (x, n, sgn, _) => pushStrNamed env x n sgn 244 | DStr (x, n, sgn, _) => pushStrNamed env x n sgn
245 | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn 245 | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn
246 | DPage _ => env 246 | DExport _ => env
247 247
248 fun sgiBinds env (sgi, _) = 248 fun sgiBinds env (sgi, _) =
249 case sgi of 249 case sgi of
250 SgiConAbs (x, n, k) => pushCNamed env x n k NONE 250 SgiConAbs (x, n, k) => pushCNamed env x n k NONE
251 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) 251 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c)