CTFE is getting too powerful :o)
H. S. Teoh
hsteoh at quickfur.ath.cx
Wed Mar 27 10:50:24 PDT 2013
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.
More information about the Digitalmars-d
mailing list