[Issue 2442] opApply does not allow inferring parameter types when overloaded on const
http://d.puremagic.com/issues/show_bug.cgi?id=2442 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Platform|x86 |All OS/Version|Linux |All --- Comment #3 from Kenji Hara k.hara...@gmail.com 2011-12-26 02:04:30 PST --- New patch based on git master: https://github.com/D-Programming-Language/dmd/pull/581 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 2443] opApply should allow delegates that are not ref if it makes no sense
http://d.puremagic.com/issues/show_bug.cgi?id=2443 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Keywords||patch --- Comment #2 from Kenji Hara k.hara...@gmail.com 2011-12-26 02:05:32 PST --- https://github.com/D-Programming-Language/dmd/pull/581 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 3382] [tdpl] Implement uniform function call syntax
http://d.puremagic.com/issues/show_bug.cgi?id=3382 --- Comment #3 from Kenji Hara k.hara...@gmail.com 2011-12-26 05:42:06 PST --- Related: - Issue 662 - Allow UFCS for basic types and enums - Issue 6277 - Disallow short floating point literals -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 3382] [tdpl] Implement uniform function call syntax
http://d.puremagic.com/issues/show_bug.cgi?id=3382 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Keywords||patch --- Comment #4 from Kenji Hara k.hara...@gmail.com 2011-12-26 06:16:50 PST --- https://github.com/D-Programming-Language/dmd/pull/582 https://github.com/D-Programming-Language/phobos/pull/378 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6774] ICE(glue.c) totym gagged forward reference error
http://d.puremagic.com/issues/show_bug.cgi?id=6774 David Simcha dsim...@yahoo.com changed: What|Removed |Added CC||dsim...@yahoo.com Summary|ICE(glue.c) gagged forward |ICE(glue.c) totym gagged |reference error |forward reference error --- Comment #2 from David Simcha dsim...@yahoo.com 2011-12-26 07:57:41 PST --- I just spent a bunch of time reducing a test case only to then stumble on this duplicate bug. To add some detail so that anyone who runs into it in the future can find it, the ICE error message is: glue.c:1065: virtual unsigned int Type::totym(): Assertion `0' failed. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7167] New: template function overload brings dmd internal error
http://d.puremagic.com/issues/show_bug.cgi?id=7167
Summary: template function overload brings dmd internal error
Product: D
Version: D2
Platform: Other
OS/Version: Windows
Status: NEW
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: zan77...@nifty.com
--- Comment #0 from SHOO zan77...@nifty.com 2011-12-26 08:37:33 PST ---
This code raises internal error:
--
import std.conv;
T to(T)(string x) { return std.conv.to!T(x); }
void main() { auto i = 1.to!int(); }
--
$ dmd -run main
module main.to
Internal error: e2ir.c 683
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 5559] A static down cast in Phobos
http://d.puremagic.com/issues/show_bug.cgi?id=5559 --- Comment #1 from bearophile_h...@eml.cc 2011-12-26 10:52:27 PST --- See also: http://www.digitalmars.com/webnews/newsgroups.php?art_group=digitalmars.Darticle_id=153452 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7001] std.path.baseName and isValidFilename wrong documentation
http://d.puremagic.com/issues/show_bug.cgi?id=7001 Lars T. Kyllingstad bugzi...@kyllingen.net changed: What|Removed |Added CC||bugzi...@kyllingen.net --- Comment #5 from Lars T. Kyllingstad bugzi...@kyllingen.net 2011-12-26 11:37:55 PST --- Here, file means a node in a file system, and it encompasses normal files as well as directories, symbolic links, named pipes, device files and sockets. In that sense, file or directory may be redundant. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7001] std.path.baseName and isValidFilename wrong documentation
http://d.puremagic.com/issues/show_bug.cgi?id=7001 --- Comment #6 from Jonathan M Davis jmdavisp...@gmx.com 2011-12-26 14:02:45 PST --- I believe that Posix at least uses the term regular file for normal files, and then still uses the term file for everything. It _can_ be a bit confusing, but I don't know a better way to go about it. Unfortunately, the term file can be ambiguous due to differences in its usage. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7154] [CTFE] failing downcast causes error
http://d.puremagic.com/issues/show_bug.cgi?id=7154 Don clugd...@yahoo.com.au changed: What|Removed |Added Status|NEW |RESOLVED CC||clugd...@yahoo.com.au Resolution||FIXED --- Comment #1 from Don clugd...@yahoo.com.au 2011-12-26 16:03:28 PST --- https://github.com/D-Programming-Language/dmd/commit/15039d5284922ac673023da65827460972ba60b3 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 2442] opApply does not allow inferring parameter types when overloaded on const
http://d.puremagic.com/issues/show_bug.cgi?id=2442 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED CC||bugzi...@digitalmars.com Resolution||FIXED --- Comment #4 from Walter Bright bugzi...@digitalmars.com 2011-12-26 16:40:26 PST --- https://github.com/D-Programming-Language/dmd/commit/581ed237a077569d76b2658ffc24600db76aad25 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 2443] opApply should allow delegates that are not ref if it makes no sense
http://d.puremagic.com/issues/show_bug.cgi?id=2443 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED CC||bugzi...@digitalmars.com Resolution||FIXED --- Comment #3 from Walter Bright bugzi...@digitalmars.com 2011-12-26 16:40:59 PST --- https://github.com/D-Programming-Language/dmd/commit/581ed237a077569d76b2658ffc24600db76aad25 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6714] [tdpl] Type inference for parameters of function and delegate literals
http://d.puremagic.com/issues/show_bug.cgi?id=6714
Don clugd...@yahoo.com.au changed:
What|Removed |Added
Keywords||rejects-valid, spec
Version|unspecified |D2
Summary|[tdpl] Function literal |[tdpl] Type inference for
|does not convert to |parameters of function and
|function and delegate |delegate literals
|types |
OS/Version|Mac OS X|All
Severity|normal |enhancement
--- Comment #4 from Don clugd...@yahoo.com.au 2011-12-26 17:10:36 PST ---
(In reply to comment #3)
(In reply to comment #2)
(In reply to comment #0)
Consider:
void foo (int function (int, int) a){}
void bar (int delegate (int, int) a){}
void main ()
{
foo((a, b) { return a +b;});
bar((a, b) { return a +b;});
}
Are argument types supposed to be deduced? If so, that's a major,
complicated feature and difficult to implement, I think it requires an extra
level of argument matching.
When I discussed with Walter the matter a while ago, a possible approach was
that the literal relying on deduction defines a local template function.
Changing bug title from the original �Function literal does not convert to
function and delegate types�, since this seems to be type inference
enhancement, which requires a spec change.
For example, the code:
foo((a, b) { return a +b;});
would be lowered into:
static auto __lambda(T1, T2)(T1 a, T2 b) { return a + b; }
foo(__lambda);
The static is present because the compiler figured the lambda uses no state
from the enclosing context. Built-in conversion mechanisms should take over
from here on.
I don't understand how this works. Where does the template get instantiated?
In the examples at the end of comment 3, it seems to be deducing the parameters
of __lambda from parameters of foo. This seems very complicated.
If foo is a template function, in every existing situation, all the types of
the arguments are known. Here, they aren't. For example if foo is:
void foo(T = int, R)( R function(T, T) f)
then we'd expect T1, T2 to be deduced as int (because of the default value of
T). We now have enough information to instantiate __lambda, which then allows
us to determine R. We can then finally instantiate foo. We're instantiating two
templates at once, and they're kind of interlocked. The interlocking continues
further: if the parameter deduction or template constraint of foo fails, then
the instantiation of __lambda must also be discarded.
The 4-step template argument deduction process described in template.html is
gone.
This also brings the issue of automatically converting a function to a
delegate. Walter disagrees with that, but I disagree with the basis of his
disagreement.
Obviously this needs to be resolved.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 4413] typeof(this) doesn't work in method template signature
http://d.puremagic.com/issues/show_bug.cgi?id=4413 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED CC||bugzi...@digitalmars.com Resolution||FIXED --- Comment #7 from Walter Bright bugzi...@digitalmars.com 2011-12-26 18:26:35 PST --- https://github.com/D-Programming-Language/dmd/commit/8fa99fca73fea3a5130939ecaa83596f925cdbb8 https://github.com/D-Programming-Language/dmd/commit/2324c9903f99bb355ac5b2f25298a4f05ab0fba1 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6876] Language Docs for class nearly unreadable
http://d.puremagic.com/issues/show_bug.cgi?id=6876 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added Status|NEW |RESOLVED CC||andrej.mitrov...@gmail.com Resolution||FIXED -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
