Re: Shortcut evaluation for hierarchy of in contracts

Fri, 01 Jul 2011 08:45:24 -0700 

Disregard
`Disregard "That is case 3. And it is perfectly valid."

I had in contract and precondition mixed up there myself. sry.`

It was actually a valid remark: It is valid for a child to loosen the 
precondition.

Reply via email to