Re: throws(statement, ErrorType)

spir:

> How to write a predicate like:
>       assert( throws(someStatement, ErrorType) );


Are you using Design By Contract a lot? Contracts need to contain asserts 
only...

Bye,
bearophile

Reply via email to