[Issue 3180] Covariance of delegates/function pointers (page 2)

http://d.puremagic.com/issues/show_bug.cgi?id=3180 yebblies <yebblies@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |patch Severity|normal |critical --- Comment #12 from yebblies <yebblies@gmail.com> 2011-09-06 19:02:19 EST --- Part was fixed by https://github.com/D-Programming-Language/dmd/commit/dfb683f63ec89709b0bf2760ef3b2a249ce320eb Raising importance as while not a regression, this fixes one. (bug 6352) Pull for the remaining common type bugs: https://github.com/D-Programming-Language/dmd/pull/368 --- Comment #13 from yebblies <yebblies@gmail.com> 2011-09-06 19:03:45 EST --- Part was fixed by https://github.com/D-Programming-Language/dmd/commit/dfb683f63ec89709b0bf2760ef3b2a249ce320eb Raising importance as while not a regression, this fixes one. (bug 6352) Pull for the remaining common type bugs: https://github.com/D-Programming-Language/dmd/pull/368 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------

September 17, 2011

[Issue 3180] Covariance of delegates/function pointers

Posted by Walter Bright
in reply to rayerd.wiz@gmail.com

Permalink

Walter Bright

Posted in reply to rayerd.wiz@gmail.com

Permalink

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


yebblies <yebblies@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch
           Severity|normal                      |critical

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |FIXED


--- Comment #12 from yebblies <yebblies@gmail.com> 2011-09-06 02:02:19 PDT ---
Part was fixed by https://github.com/D-Programming-Language/dmd/commit/dfb683f63ec89709b0bf2760ef3b2a249ce320eb

Raising importance as while not a regression, this fixes one. (bug 6352)

Pull for the remaining common type bugs: https://github.com/D-Programming-Language/dmd/pull/368

--- Comment #13 from yebblies <yebblies@gmail.com> 2011-09-06 02:03:45 PDT ---
Part was fixed by https://github.com/D-Programming-Language/dmd/commit/dfb683f63ec89709b0bf2760ef3b2a249ce320eb

Raising importance as while not a regression, this fixes one. (bug 6352)

Pull for the remaining common type bugs: https://github.com/D-Programming-Language/dmd/pull/368

--- Comment #14 from Walter Bright <bugzilla@digitalmars.com> 2011-09-16 23:28:48 PDT ---
https://github.com/D-Programming-Language/dmd/commit/77bed134d06e6314c5b65465068f554b3f2c2e8d

-- 
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=3180 --- Comment #15 from Haruki Shigemori <rayerd.wiz@gmail.com> 2011-09-17 09:04:50 PDT --- import std.stdio; class Base {} class Derived : Base {} class X { Base foo() { return new Base; } } class Y : X { Derived foo() { return new Derived; } } void main() { // Covariance is good { Base delegate() f = delegate Derived() { return new Derived; }; writefln("delegate convariance is <%s>", f().toString() == "a.Derived" ? "OK" : "NG"); }{ static Derived fp() { return new Derived; } Base function() f = &fp; writefln("function pointer covariance is <%s>", f().toString() == "a.Derived" ? "OK" : "NG"); } // Contravariance is BAD { auto c = new class { void foo(Base){} }; // GOOD void delegate(Base) f = &c.foo; f(new Base); f(new Derived); // BAD void delegate(Derived) g = &c.foo; g(new Derived); } } a.d(33): Error: cannot implicitly convert expression (&c.foo) of type void delegate(Base) to void delegate(Derived) --- Why is "Status" "RESOLVED-FIXED"? -- 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=3180 --- Comment #16 from yebblies <yebblies@gmail.com> 2011-09-18 12:17:32 EST --- (In reply to comment #15) > > Why is "Status" "RESOLVED-FIXED"? I assume you're asking why this report was marked as fixed when delegate contravariance hasn't been implemented? See comment #6 and issue 3075, this is covered by another report which has been rejected. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------

Forums