On Wed, Mar 27, 2013 at 06:29:59PM +0100, Timon Gehr wrote: > 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.
But how do you check for non-termination? T -- If creativity is stifled by rigid discipline, then it is not true creativity.
