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
