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.
