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.
