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. :)


> If CTFE fails because the above criteria are not met, the evaluated
> expression is in error.

Makes sense.


T

-- 
Obviously, some things aren't very obvious.

Reply via email to