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

           Summary: Value parameter types not respected in templates
           Product: D
           Version: unspecified
          Platform: Other
        OS/Version: Mac OS X
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: andrei@metalanguage.com


--- Comment #0 from Andrei Alexandrescu <andrei@metalanguage.com> 2011-12-10 11:05:03 PST ---
This code fails to compile:

struct A(size_t N) {}
void main() {
    A!(1) a1;
    A!(cast(size_t) 1) a2;
    assert(a1 == a2);
}

with the message:

./test.d(10): Error: incompatible types for ((a1) == (a2)): 'A!(1)' and
'A!(1u)'

This is mistaken. The type of N is not decided by the instantiation, but by A.

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

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


Trass3r <mrmocool@gmx.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mrmocool@gmx.de


--- Comment #1 from Trass3r <mrmocool@gmx.de> 2011-12-10 11:44:25 PST ---
Same as http://d.puremagic.com/issues/show_bug.cgi?id=2550?

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

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


Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


--- Comment #2 from Kenji Hara <k.hara.pg@gmail.com> 2011-12-10 12:08:27 PST ---
Yes, this is same as 2550.

And I've posted a pull for fix this.
https://github.com/D-Programming-Language/dmd/pull/449
I've checked that the patch surely fixes this issue in my local.

But it is not yet merged with Walter's disagreement.

*** This issue has been marked as a duplicate of issue 2550 ***

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

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



--- Comment #3 from Andrei Alexandrescu <andrei@metalanguage.com> 2011-12-10 13:31:32 PST ---
Kenji: Walter agreed to take a second look at your pull request. Thanks again for all your incredible work.

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