Compilable Recursive Data Structure ( was: Recursive data structure using template won't compile)

[Timon Gehr]

On 11/09/2012 02:17 PM, Manfred Nowak wrote:
> Rob T wrote:
>
>> The above template definitions define exactly the same structure
>> as the original
>
> No, they implement not _exactly_ the same structure, because they
> supply more freedom than the original templates version. The original
> version forced a recursion onto every implementation, whereas this new
> templates version allows non-recursive implementations.
>
> It might be helpfull to reintroduce the forced recursion using the new
> template definitions.
>
> Hint:
> start with
> | alias d_list!node00 d_list00;
> | d_list00 var;
> and publish whether it is possible to compile this line:
> | alias R!d_list00 R0;
>
> -manfred
>

The example definitely exposes a bug in DMD.
The D front end I am developing can already handle it.