On Apr 26, 11 07:25, bearophile wrote:
KennyTM~:
Also, if the precondition were complaining, and you change some bit of
the code and find it can be compiled -- that won't mean anything, as it
is likely the change just make the precondition non-CTFE-able.
You are right, this is bad. But the compile-time interpreter is getting able to
run a larger percentage of D code, so that problem becomes smaller, and this
idea doesn't give false positives.
I also don't believe this still keeps the compiler simple,
It's _way_ simpler than solutions like one in Sing#. Here you don't need a
powerful symbolic constraint solver inside the compiler :-) All the needed
tools are already present.
Bye,
bearophile
I see. I was comparing to the current situation where such feature does
_not_ exist.
