digitalmars.D.bugs - [Issue 3467] New: Non-int integral template parameters not correctly propagated
- d-bugmail puremagic.com (31/31) Nov 02 2009 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (18/18) Sep 25 2010 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (10/10) Oct 14 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (15/15) Oct 14 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (17/17) Nov 19 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (21/21) Nov 19 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (24/34) Nov 23 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (10/10) Nov 28 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (6/6) Dec 01 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (12/20) Dec 10 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (8/8) Dec 10 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (12/12) Dec 10 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (10/10) Apr 24 2012 http://d.puremagic.com/issues/show_bug.cgi?id=3467
- d-bugmail puremagic.com (13/16) Oct 30 2012 http://d.puremagic.com/issues/show_bug.cgi?id=3467
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Summary: Non-int integral template parameters not correctly propagated Product: D Version: 2.035 Platform: Other OS/Version: Windows Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nobody puremagic.com ReportedBy: simen.kjaras gmail.com PST --- The below code snippet fails to compile on DMD 2.035: Error: cannot implicitly convert expression (baz.barof type foo!(n) to foo!(4) Now change uint to int, and everything works perfectly. This might have to do with literal types ( 4 is an int, not a uint, ulong, byte, or whatever ). struct foo( uint n ) { foo!( n ) bar( ) { typeof( return ) result; return result; } } void main( ) { foo!( 4 ) baz; baz = baz.bar;// FAIL } -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 02 2009
http://d.puremagic.com/issues/show_bug.cgi?id=3467 bearophile_hugs eml.cc changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bearophile_hugs eml.cc The bug is present in dmd 2.049 still: struct Vec(size_t N) { void opBinary(string op:"~", size_t M)(Vec!M) {} } void main() { Vec!2 a1; Vec!3 a2; a1 ~ a2; // line 7, Error } -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Sep 25 2010
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Kenji Hara <k.hara.pg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |verylonglogin.reg gmail.com *** Issue 6806 has been marked as a duplicate of this issue. *** -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Oct 14 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Kenji Hara <k.hara.pg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |patch Platform|Other |All Version|2.035 |D1 & D2 OS/Version|Windows |All From bug 6806, this is D1 & D2 issue. And D2 patch: https://github.com/D-Programming-Language/dmd/pull/449 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Oct 14 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Walter Bright <bugzilla digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |bugzilla digitalmars.com Resolution| |INVALID 23:26:17 PST --- I believe this is not a bug. The type of a template is based on what its argument types are, not its parameter types. Hence, foo!3 is always a different type from: foo!3u even if foo is defined to take an int parameter. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 19 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Jonathan M Davis <jmdavisProg gmx.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jmdavisProg gmx.com PST --- Why? I understand instantiating a different template with different arguments when the type itself is the argument. But when you've typed the argument, it's essentially the same as passing an argument to a function, only it's a template argument instead of a function argument. In this case, the template says that it takes a uint. I would expect that it then would instatiated based on the _value_ of the argument, not its _type_. It already _has_ a type - uint. Making foo!3 and foo!3u be different is just plain confusing because they're being given the exact same value. What value is there in having foo!3 and foo!3u be different? What does it add? I don't understand how the _type_ of the argument could matter when the type is already defined by the template and it's the value that changes between instantiations. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 19 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Kenji Hara <k.hara.pg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|INVALID |I believe this is not a bug. The type of a template is based on what its argument types are, not its parameter types. Hence, foo!3 is always a different type from: foo!3u even if foo is defined to take an int parameter.The issue is that the foo template with signed integer makes incorrect instantiation internally. There are two solutions: 1. Makes that instantiation invalid. 2. Promote signed integer template value parameter into unsigned. Because non-suffix integer literal can implicitly convertible to unsigned. And, my patch doesn't break existing code around template overloading. Following code still valid. template Foo(int n){ enum Foo = 1; } template Foo(uint n){ enum Foo = 2; } static assert(Foo!10 == 1); static assert(Foo!10u == 2); -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 23 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Kenji Hara <k.hara.pg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |komadori gekkou.co.uk *** Issue 3210 has been marked as a duplicate of this issue. *** -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 28 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Updated pull/449 to fix bug2550, they are almost same issues. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Dec 01 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 klickverbot <code klickverbot.at> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |code klickverbot.at ---There are two solutions: 1. Makes that instantiation invalid. 2. Promote signed integer template value parameter into unsigned. Because non-suffix integer literal can implicitly convertible to unsigned. And, my patch doesn't break existing code around template overloading.I agree. For an integer _value_ (and this is what we are talking about here), distinguishing between 3 and 3u just makes no sense. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Dec 10 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Walter Bright <bugzilla digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|normal |enhancement -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Dec 10 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Walter Bright <bugzilla digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution| |FIXED 16:38:45 PST --- https://github.com/D-Programming-Language/dmd/commit/f8ad107800a2c9bf116779a49abe9945daf9d05f Resolved for D2 only. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Dec 10 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Kenji Hara <k.hara.pg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |puneet coverify.org --- *** Issue 6246 has been marked as a duplicate of this issue. *** -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Apr 24 2012
http://d.puremagic.com/issues/show_bug.cgi?id=3467 Denis Shelomovskij <verylonglogin.reg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Version|D1 & D2 |D1 Resolution|FIXED | 2012-10-30 16:49:11 MSK ---https://github.com/D-Programming-Language/dmd/commit/f8ad107800a2c9bf116779a49abe9945daf9d05f Resolved for D2 only.So it's D1 issue now. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Oct 30 2012