• Mike L. (39/39) Feb 14 2009 Can anybody explain why I get the following error:
• Derek Parnell (10/15) Feb 14 2009 It fails because of the literal '3'. The compiler cannot be sure if you
• Mike L. (2/24) Feb 15 2009 But what confuses me is that it needs it for the template, but not when ...
• Daniel Keep (9/33) Feb 15 2009 It's a side-effect of the mixins. AFAIK, the compiler is treating those

Mike L. <mike.linford gmail.com> writes:

Can anybody explain why I get the following error:

test.d(28): Error: test.tblahTemplate!(uint).tblah at test.d(13) conflicts with
test.tblahTemplate!(int).tblah at test.d(13)

When I try to compile this?:

test.d:

int blah(uint x)
{
	return x;
}

int blah(int x)
{
	return (x >= 0 ? x : -x);
}

version(WithT)
{
	template tblahTemplate(Type)
	{
		Type tblah(Type x)
		{
			static if(Type.min == 0)
				return x;
			else
				return (x >= 0 ? x : -x);
		}
	}

	mixin tblahTemplate!(uint);
	mixin tblahTemplate!(int);
}

void main()
{
	blah(3);
	version(WithT)
	{
		tblah(3);
	}
}

It works without -version=WithT but not with it. Why can't it resolve it if
it's a template?

Thanks,
Mike L.

Derek Parnell <derek psych.ward> writes:

On Sun, 15 Feb 2009 02:20:50 -0500, Mike L. wrote:

 Can anybody explain why I get the following error:
 
 test.d(28): Error: test.tblahTemplate!(uint).tblah at test.d(13) conflicts with
 test.tblahTemplate!(int).tblah at test.d(13)

 		tblah(3);

It fails because of the literal '3'. The compiler cannot be sure if you
want the 'int' or 'uint' function called because '3' matches both of them.

You need to make the literal explicit...

 		tblah(3u); -- uint call
 		tblah(cast(int)3); -- int call


-- 
Derek Parnell
Melbourne, Australia
skype: derek.j.parnell

Mike L. <mike.linford gmail.com> writes:

Derek Parnell Wrote:

 On Sun, 15 Feb 2009 02:20:50 -0500, Mike L. wrote:
 
 Can anybody explain why I get the following error:
 
 test.d(28): Error: test.tblahTemplate!(uint).tblah at test.d(13) conflicts with
 test.tblahTemplate!(int).tblah at test.d(13)

 
 		tblah(3);

 
 It fails because of the literal '3'. The compiler cannot be sure if you
 want the 'int' or 'uint' function called because '3' matches both of them.
 
 You need to make the literal explicit...
 
  		tblah(3u); -- uint call
  		tblah(cast(int)3); -- int call
 
 
 -- 
 Derek Parnell
 Melbourne, Australia
 skype: derek.j.parnell

But what confuses me is that it needs it for the template, but not when I
create blah() without templates. Why the inconsistency?

Daniel Keep <daniel.keep.lists gmail.com> writes:

Mike L. wrote:
 Derek Parnell Wrote:
 
 On Sun, 15 Feb 2009 02:20:50 -0500, Mike L. wrote:

 Can anybody explain why I get the following error:

 test.d(28): Error: test.tblahTemplate!(uint).tblah at test.d(13) conflicts with
 test.tblahTemplate!(int).tblah at test.d(13)
 		tblah(3);

 It fails because of the literal '3'. The compiler cannot be sure if you
 want the 'int' or 'uint' function called because '3' matches both of them.

 You need to make the literal explicit...

  		tblah(3u); -- uint call
  		tblah(cast(int)3); -- int call


 -- 
 Derek Parnell
 Melbourne, Australia
 skype: derek.j.parnell

 
 But what confuses me is that it needs it for the template, but not when I
create blah() without templates. Why the inconsistency?

It's a side-effect of the mixins.  AFAIK, the compiler is treating those
mixins as coming from different sources.  When it encounters multiple
symbols from different sources, it's designed to be overly cautious and
assume you didn't know.

I think you can override this by changing the two mixin lines to this:

alias tblahTemplate!(uint) tblah;
alias tblahTemplate!(int) tblah;

  -- Daniel