On Monday, 27 January 2014 at 04:07:04 UTC, Andrei Alexandrescu
wrote:
On 1/26/14 3:22 AM, Pierre Talbot wrote:
Hi,
I was wondering why CTFE is context sensitive, why don't we
check
every expressions and run the CTFE if it applies?
Compilation would get awfully slow (and sometimes won't
terminate).
Andrei
So it is theoretically possible? I mean if the compilation
doesn't terminate, the execution won't either for at least one
program input, so we can detect an infinite loop at compile-time.
Moreover, isn't the same problem with context-sensitive CTFE?
Pierre
