Mercurial > urweb
comparison src/elab_env.sml @ 2206:c1a62ce47083
Merge.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Tue, 27 May 2014 21:38:01 -0400 |
parents | 403f0cc65b9c |
children | 3d22f761a4b7 |
comparison
equal
deleted
inserted
replaced
2205:cdea39473c78 | 2206:c1a62ce47083 |
---|---|
1679 pushENamedAs env x n t | 1679 pushENamedAs env x n t |
1680 end | 1680 end |
1681 | DTask _ => env | 1681 | DTask _ => env |
1682 | DPolicy _ => env | 1682 | DPolicy _ => env |
1683 | DOnError _ => env | 1683 | DOnError _ => env |
1684 | DFfi (x, n, _, t) => pushENamedAs env x n t | |
1684 | 1685 |
1685 end | 1686 end |