[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 #67 from Stewart Gordon <smjg at iname.com> 2012-05-07 10:48:26 PDT ---
(In reply to comment #62)
> Changing how the language work must be done only if strong arguments are made.

Unless I've missed something, the language leaves this unspecified.  So a
compiler is free to do it either way.  Though it would be better if it were
specified.

> Providing documentation on language design decision is surely a way to improve
> the current state of things.

Indeed, if all rationales scattered about the D docs were collected in one
place, and a few more that we ought to have were added, I wonder how big this
section would be.

FTR, look at the PNG rationale page....
http://www.libpng.org/pub/png/spec/1.2/PNG-Rationale.html

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