DIP54 : revamp of Phobos tuple types

[H. S. Teoh]

On Mon, Dec 23, 2013 at 02:46:38AM +0000, Jakob Ovrum wrote:
> On Monday, 23 December 2013 at 01:39:26 UTC, Dicebot wrote:
> >http://wiki.dlang.org/DIP54
> 
> Are you seriously suggesting we change the auto-expanding behaviour
> of template argument lists? This is going to cause the biggest code
> breakage since D2, for the niche benefit of having lists that don't
> automatically expand.
[...]

Where did you get that idea from? My understanding from reading the DIP
is that we just replace std.typecons.TypeTuple, which has this
definition:

	template TypeTuple(T...) {
		alias TypeTuple = T;
	}

with std.meta.list, which has this definition:

	template list(T...) {
		alias expand = T;
	}

along with the requisite documentation changes, deprecation of
TypeTuple, migration of Phobos code to use std.meta.list, etc..

Nothing changes in the language itself.

Changing the language itself will basically break almost the entire
Phobos, and pretty much anything that uses variadic template arguments
in non-trivial ways in user code. I don't see that ever happening in D2.


T

-- 
Life is unfair. Ask too much from it, and it may decide you don't
deserve what you have now either.