Mercurial > urweb
comparison src/elab_env.sml @ 2010:403f0cc65b9c
New lessSafeFfi
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 May 2014 19:19:09 -0400 |
parents | 1aa9629e3a4c |
children | 3d22f761a4b7 |
comparison
equal
deleted
inserted
replaced
2009:799be3911ce3 | 2010:403f0cc65b9c |
---|---|
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 |