Mercurial > urweb

comparison src/expl_env.sml @ 100:f0f59e918cac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents d609820c5834
children 813e5a52063d
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
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 247
247 fun sgiBinds env (sgi, _) = 248 fun sgiBinds env (sgi, _) =
248 case sgi of 249 case sgi of
249 SgiConAbs (x, n, k) => pushCNamed env x n k NONE 250 SgiConAbs (x, n, k) => pushCNamed env x n k NONE
250 | 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)