[Issue 7529] IFTI does not support template argument dependent template alias instances as parameter types

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=7529



--- Comment #12 from timon.gehr at gmx.ch 2012-02-17 07:35:44 PST ---
An alias template is like a function template, just for aliases.

Those are all alias templates:

template A(T){alias T A;}
template B(T){alias Foo!T B;}
template C(T){alias foo.bar.Qux!T C;}
template D(T){alias Foo!(Bar!(Qux!T)) D;}

Those are functions that use them:
void fooa(T)(A!T a){ ... }
void foob(T)(B!T b){ ... }
void fooc(T)(C!T c){ ... }
void food(T)(D!T d){ ... }

Those are the versions that do exactly the same thing but work with IFTI:
void fooa(T)(T a){ ... }
void foob(T)(Foo!T b){ ... }
void fooc(T)(foo.bar.Qux!T c){ ... }
void food(T)(Foo!(Bar!(Qux!T)) d){ ... }

What I am asking for is for IFTI to work the same for the former and latter
versions of the functions. This is easy to implement and matches what most
programmers would expect the language to be capable of.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------