Mercurial > urweb

comparison src/elab_env.sml @ 243:2b9dfaffb008

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Transactions and queries, at source level
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 14:48:33 -0400
parents 19e5791923d0
children 42dfb0d61cf0
comparison
equal deleted inserted replaced
242:cc193f680193 243:2b9dfaffb008
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 1051
1052 fun patBinds env (p, loc) =
1053 case p of
1054 PWild => env
1055 | PVar (x, t) => pushERel env x t
1056 | PPrim _ => env
1057 | PCon (_, _, _, NONE) => env
1058 | PCon (_, _, _, SOME p) => patBinds env p
1059 | PRecord xps => foldl (fn ((_, p, _), env) => patBinds env p) env xps
1060
1052 end 1061 end