Mercurial > urweb

comparison src/elab_env.sml @ 271:42dfb0d61cf0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'database' declaration threaded through compiler
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 10:51:41 -0400
parents 2b9dfaffb008
children 59dc042629b9
comparison
equal deleted inserted replaced
270:b9b02613c0c2 271:42dfb0d61cf0
1046 val k = (KArrow ((KType, loc), (KType, loc)), loc) 1046 val k = (KArrow ((KType, loc), (KType, loc)), loc)
1047 val env = pushCNamedAs env x n k (SOME c) 1047 val env = pushCNamedAs env x n k (SOME c)
1048 in 1048 in
1049 pushClass env n 1049 pushClass env n
1050 end 1050 end
1051 | DDatabase _ => env
1051 1052
1052 fun patBinds env (p, loc) = 1053 fun patBinds env (p, loc) =
1053 case p of 1054 case p of
1054 PWild => env 1055 PWild => env
1055 | PVar (x, t) => pushERel env x t 1056 | PVar (x, t) => pushERel env x t