Automatic Resource Management, V.2

Mark Mahieu markmahieu at
Tue Apr 21 20:44:42 PDT 2009

2009/4/22 <brucechapman at>
> The only nit here would be if the verifier did
> Exception checking and complained that Exception was not caught, but I
> don't
> think that is the case (from a quick browse of the verifier spec, tho I am
> in NO
> WAY AT ALL knowledgable about such things).
> -anyone know for sure??
> Bruce

If I understand you correctly then no, the verifier wouldn't care; checked
exceptions are a language-level feature.


More information about the coin-dev mailing list