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