[Issue 5906] Just pre-conditions at compile-time when arguments are static

[d-bugmail at puremagic.com]

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


bearophile_hugs at eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID


--- Comment #3 from bearophile_hugs at eml.cc 2012-12-25 03:25:54 PST ---
(In reply to comment #2)

> From my POV, the "run it at compile time if possible" is fraut with problems.

I understand. So the "static in" (static pre-condition) can't choose to work at
compile-time or run-time. If present it must always run at compile-time.
Probably the "Static_Predicate" aspect of Ada 2012 does the same.

So I close this enhancement request as invalid, and I will reopen it if and
when I (or someone else) find some better ideas.

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