CTFE is getting too powerful :o)

[Timon Gehr]

On 03/27/2013 06:20 PM, H. S. Teoh wrote:
> On Wed, Mar 27, 2013 at 05:55:54PM +0100, Timon Gehr wrote:
> [...]
>> If CTFE does not terminate, compilation is not allowed to succeed.
>
> Heh, I think this one is unimplementable, as it amounts to solving the
> halting problem. :)
> ...

Actually it does not. Non-success denotes either failure or non-termination.