[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 #87 from deadalnix <deadalnix at gmail.com> 2013-01-10 00:41:57 PST ---
(In reply to comment #85)
> I've had the opportunity to discuss the matter with Bertrand Meyer himself and
> with a graduate student of his. Bertrand didn't have a defined answer offhand,
> but opined that the static contract should be evaluated. His book says the same
> .
> 

You are lucky. I wrote him about that and he never answered me :'( .

> So we currently do what the Eiffel standard and compiler do, but not what would
> probably be the most sensible thing. In my opinion we should do the right thing
> and check the contract statically.

I think that this is the sane thing to do. However, this is tricky
implementationwise.

Maybe we should update this bug report's tag according to what you announced
here : http://forum.dlang.org/thread/kcijgh$25h6$1@digitalmars.com

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