[Issue 6857] Precondition contract checks should be statically bound.

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=6857



--- Comment #28 from Don <clugdbug at yahoo.com.au> 2012-05-04 04:48:20 PDT ---
(In reply to comment #27)
> (In reply to comment #26)
> There's no reason to doubt you are telling the truth, so this must be quite an
> interesting case of confirmation bias as you seem to have read only what
> doesn't infirm your hypothesis and glossed over everything that does.
> 
> As an example, google for
> 
> "design by contract" inheritance
> 
> The literally FIRST hit takes to a slide deck, see http://goo.gl/544fU. There
> there is theory and examples on how contracts work. 

Andrei, those slides don't address the issue at all.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------