A problem with D contracts
bearophile
bearophileHUGS at lycos.com
Sun Aug 1 05:04:20 PDT 2010
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
More information about the Digitalmars-d
mailing list