Mercurial > urweb

comparison src/elab_env.sml @ 1294:b4480a56cab7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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