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


s...@iname.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |s...@iname.com




------- Comment #1 from s...@iname.com  2009-01-24 07:08 -------
How would you use such a thing?

The trouble is that F!(int, char[], Object) in itself is ambiguous - does T1
bind to int and T2 to (char[], Object), or T1 to (int, char[]) and T2 to
Object?  Even one to the empty tuple and the the other to the whole thing? 
F!(int, char[], Object) would effectively have to be an internal, intermediate
template with the point of division as a parameter.

If you try to call the whole thing using IFTI, it's still ambiguous - what will
T1 bind to?

Maybe it could be made to work, if the compiler can be made to try to match
templates before expanding symbolic tuples under suitable conditions.


-- 

Reply via email to