--- Comment #2 from yebblies <> 2011-07-10 15:53:01 EST ---
(In reply to comment #1)
> Yep, the compiler generates a bunch of nested try {} catch {} blocks in the
> function preconditions.

I think the correct change here is to introduce a new exception type
(ContractException?) and hook the assert handler to throw this when inside
contracts.  Currently the compiler will take OutOfMemoryError as a contract
failure and happily continue.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to