On 10/13/2014 01:48 AM, Meta wrote:
On Sunday, 12 October 2014 at 20:58:58 UTC, Timon Gehr wrote:Yes it is. Why wouldn't it be? Values needn't be completely determined in order to be reasoned about.They do if you want to check, for example, n < 3. D doesn't currently support the type of analysis necessary to implement something like that.
(bearophile isn't discussing current language features.)
