digitalmars.D.bugs - [Issue 10526] New: opDispatch with IFTI should not disable UFCS
- d-bugmail puremagic.com (37/37) Jul 02 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10526
- d-bugmail puremagic.com (10/10) Jul 02 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10526
- d-bugmail puremagic.com (16/16) Jul 05 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10526
- d-bugmail puremagic.com (10/10) Jul 05 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10526
http://d.puremagic.com/issues/show_bug.cgi?id=10526 Summary: opDispatch with IFTI should not disable UFCS Product: D Version: D2 Platform: All OS/Version: All Status: NEW Keywords: rejects-valid Severity: normal Priority: P2 Component: DMD AssignedTo: nobody puremagic.com ReportedBy: k.hara.pg gmail.com From: http://forum.dlang.org/post/cxgefmgjnzgoizrdtcbb forum.dlang.org In following code, opDispatch call requires IFTI due to TemplateTupleParameter T deduction. However it unexpectedly disables UFCS. import std.conv, std.stdio, std.algorithm; struct S { void opDispatch(string s, T...)(T t) if (s.startsWith("foo")) { writeln(s); } } void main() { S s; s.foo(); // --> OK auto p = s.to!string(); // --> Error: s.opDispatch!("to") isn't a template } -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 02 2013
http://d.puremagic.com/issues/show_bug.cgi?id=10526 Kenji Hara <k.hara.pg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull https://github.com/D-Programming-Language/dmd/pull/2292 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 02 2013
http://d.puremagic.com/issues/show_bug.cgi?id=10526 Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/10ce85d0d9c661843ad8bd77c23f229bf5732ca1 fix Issue 10526 - opDispatch with IFTI should not disable UFCS When opDispatch result is a function template that requires IFTI, it would be kept on `DotTemplateInstanceExp` so `ti->needsTypeInference(sc)` returns TRUE in its semantic(). UFCS dispatch should check that the opDispatch result is really valid or not, by instantiating the function template. https://github.com/D-Programming-Language/dmd/commit/11d22d63ac22eb5980b6370f5f93a2a22e995e29 Issue 10526 - opDispatch with IFTI should not disable UFCS -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 05 2013
http://d.puremagic.com/issues/show_bug.cgi?id=10526 Walter Bright <bugzilla digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |bugzilla digitalmars.com Resolution| |FIXED -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 05 2013