This a rather simple example where the compiler would be perfectly able to realize that the procedure goCrazy won't be called according it's specified contracts.
Pull requests welcome.
"Mario Schmidt" wrote in message
news:[email protected]...
- Why is there no static contract verification? Mario Schmidt
- Re: Why is there no static contract verification? bearophile
- Re: Why is there no static contract verification? Jesse Phillips
- Re: Why is there no static contract verification? Daniel Murphy
