CTFE is getting too powerful :o)
Dmitry Olshansky
dmitry.olsh at gmail.com
Wed Mar 27 14:36:13 PDT 2013
27-Mar-2013 21:50, H. S. Teoh пишет:
> 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?
>
Watchdog if you need it.
Going by no reasonable program written in D can compile longer <insert
your time to get some coffee>.
>
> T
>
--
Dmitry Olshansky
More information about the Digitalmars-d
mailing list