Mercurial > urweb

comparison src/elab_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 7bab29834cd6
children 813e5a52063d
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
290 | DVal (x, n, t, _) => pushENamedAs env x n t 290 | DVal (x, n, t, _) => pushENamedAs env x n t
291 | DSgn (x, n, sgn) => pushSgnNamedAs env x n sgn 291 | DSgn (x, n, sgn) => pushSgnNamedAs env x n sgn
292 | DStr (x, n, sgn, _) => pushStrNamedAs env x n sgn 292 | DStr (x, n, sgn, _) => pushStrNamedAs env x n sgn
293 | DFfiStr (x, n, sgn) => pushStrNamedAs env x n sgn 293 | DFfiStr (x, n, sgn) => pushStrNamedAs env x n sgn
294 | DConstraint _ => env 294 | DConstraint _ => env
295 | DPage _ => env
295 296
296 fun sgiBinds env (sgi, _) = 297 fun sgiBinds env (sgi, _) =
297 case sgi of 298 case sgi of
298 SgiConAbs (x, n, k) => pushCNamedAs env x n k NONE 299 SgiConAbs (x, n, k) => pushCNamedAs env x n k NONE
299 | SgiCon (x, n, k, c) => pushCNamedAs env x n k (SOME c) 300 | SgiCon (x, n, k, c) => pushCNamedAs env x n k (SOME c)