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