http://d.puremagic.com/issues/show_bug.cgi?id=6857
--- Comment #87 from deadalnix <deadal...@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: -------