Jonathan M Davis: > IIRC TDPL, specifically mentions that contracts > allow for I/O for debugging purposes.
I have not yet read that part. I see print statements (and exceptions) inside contracts as something to kill with fire in my code. What's the purpose of printing stuff in contracts? Maybe Andrei is mistaken here. > Requiring contracts to be pure would > destroy that ability, and there plenty of situations where that would be a > big > problem. See also enhancement request 3856 Bye, bearophile
