Mercurial > urweb
comparison src/elab_env.sml @ 243:2b9dfaffb008
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 |