Mercurial > urweb
comparison src/elab_env.sml @ 1294:b4480a56cab7
Server-side 'onError'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 07 Sep 2010 08:28:07 -0400 |
parents | 56bd4a4f6e66 |
children | c7b9a33c26c8 |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
1631 in | 1631 in |
1632 pushENamedAs env x n t | 1632 pushENamedAs env x n t |
1633 end | 1633 end |
1634 | DTask _ => env | 1634 | DTask _ => env |
1635 | DPolicy _ => env | 1635 | DPolicy _ => env |
1636 | DOnError _ => env | |
1636 | 1637 |
1637 end | 1638 end |