Why CTFE is context-sensitive?

[Andrei Alexandrescu]

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?
>
> PS: I'm sorry for the double post, I just noticed that D.learn wasn't
> the right place to ask this question. It'd be great if someone could
> delete this misplaced post. Thanks.

Compilation would get awfully slow (and sometimes won't terminate).

Andrei