assert semantic change proposal
Daniel Murphy via Digitalmars-d
digitalmars-d at puremagic.com
Thu Aug 7 10:44:06 PDT 2014
"H. S. Teoh via Digitalmars-d" wrote in message
news:mailman.674.1407424873.16021.digitalmars-d at puremagic.com...
> > And we've also got asserts in pre-conditions, which are recoverable by
> > definition.
>
> Huh, what? I thought asserts in pre-conditions are non-recoverable,
> because they imply that user code has broken the contract governing the
> use of that function.
I meant asserts in pre-conditions when used with inheritance. It's a pass
if any of the preconditions pass, so the compiler runs them in turn and
catches all but the last.
More information about the Digitalmars-d
mailing list