[Issue 9366] Appending a value cast to void to a void[] crashes DMD.
http://d.puremagic.com/issues/show_bug.cgi?id=9366 --- Comment #2 from github-bugzi...@puremagic.com 2013-01-22 01:12:06 PST --- Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/8e8dfac30bbda7c38f9048e20e673ce80e9c9a62 Fix Issue 9366 - Appending a value cast to void to a void[] crashes DMD https://github.com/D-Programming-Language/dmd/commit/b42635616d31c71555cc6a68bdc06650060c9b58 Merge pull request #1532 from yebblies/issue9366 Fix Issue 9366 - Appending a value cast to void to a void[] crashes DMD -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9333] druntime module is not compiled into binary
http://d.puremagic.com/issues/show_bug.cgi?id=9333 Alex R�nne Petersen a...@lycus.org changed: What|Removed |Added CC||a...@lycus.org --- Comment #1 from Alex R�nne Petersen a...@lycus.org 2013-01-22 11:51:34 CET --- I can't repro this issue. It links fine with 2.061: http://dpaste.dzfl.pl/96d98549 However, using the module at all is impossible until this PR is merged: https://github.com/D-Programming-Language/druntime/pull/389 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9366] (D1 only) Appending a value cast to void to a void[] crashes DMD.
http://d.puremagic.com/issues/show_bug.cgi?id=9366 yebblies yebbl...@gmail.com changed: What|Removed |Added Version|D1 D2 |D1 Summary|Appending a value cast to |(D1 only) Appending a value |void to a void[] crashes|cast to void to a void[] |DMD.|crashes DMD. --- Comment #3 from yebblies yebbl...@gmail.com 2013-01-22 22:01:59 EST --- Fixed for D2 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9174] regression(2.057) ice(cast.c) with ternary operator and alias this
http://d.puremagic.com/issues/show_bug.cgi?id=9174 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Keywords||pull --- Comment #2 from Kenji Hara k.hara...@gmail.com 2013-01-22 05:36:35 PST --- https://github.com/D-Programming-Language/dmd/pull/1533 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6856] Absence of in() contract (precondition) should mean use default precondition instead of ignore inherited in() contracts
http://d.puremagic.com/issues/show_bug.cgi?id=6856 Leandro Lucarella leandro.lucare...@sociomantic.com changed: What|Removed |Added Severity|enhancement |normal --- Comment #31 from Leandro Lucarella leandro.lucare...@sociomantic.com 2013-01-22 07:24:33 PST --- (In reply to comment #28) Not sure why this wasn't flagged as INVALID before. But now that the summary line's changed and some comments to the effect of it have been posted, it's essentially an enhancement request. But it'll probably be rejected because the code breakage that would result. The line between a fix and an enhancement here is very thin. As other people pointed out, in contract inheritance as they are are not only useless, but extremely dangerous, because they give a false sense of security. Is really hard to debug a problem where you think some preconditions are met (because the code say so), but they really aren't. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9364] [ICE] Error: CTFE internal error painting S*
http://d.puremagic.com/issues/show_bug.cgi?id=9364 --- Comment #2 from Don clugd...@yahoo.com.au 2013-01-22 08:22:23 PST --- Yeah it's just an internal error you should never see, it's just a bit nicer than most ICE bugs because it gives the line number. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7757] Inout function with lazy inout parameter doesn't compile
http://d.puremagic.com/issues/show_bug.cgi?id=7757 --- Comment #3 from github-bugzi...@puremagic.com 2013-01-22 09:44:19 PST --- Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/406ad56b97f44002a452bdaa202639f339d00165 Need more hack for bug 7757 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 8504] Template attribute inferrence doesn't work
http://d.puremagic.com/issues/show_bug.cgi?id=8504 --- Comment #3 from github-bugzi...@puremagic.com 2013-01-22 09:44:15 PST --- Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/f9d53eb403cbe29310cc501ad099acddb71cac75 fix Issue 8504 - Template attribute inferrence doesn't work https://github.com/D-Programming-Language/dmd/commit/6344a72ac2e2e597110891f7aed4b998d58f61fd Merge pull request #1096 from 9rnsr/fix8504 Issue 8504 - Template attribute inferrence doesn't work -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 4581] extern function pointers inside functions
http://d.puremagic.com/issues/show_bug.cgi?id=4581 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added CC||andrej.mitrov...@gmail.com --- Comment #5 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 10:36:04 PST --- Walter can we get your opinion on this? -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9368] New: Final swith typedef'ed enum is not properly checked
http://d.puremagic.com/issues/show_bug.cgi?id=9368
Summary: Final swith typedef'ed enum is not properly checked
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Keywords: accepts-invalid, pull
Severity: normal
Priority: P2
Component: DMD
AssignedTo: andrej.mitrov...@gmail.com
ReportedBy: andrej.mitrov...@gmail.com
--- Comment #0 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22
10:50:04 PST ---
enum E
{
a,
b
}
void main()
{
typedef E F;
F f;
final switch (f)
{
case F.a:
}
}
$ dmd -d test.d
It should error about a missing case. It's due to a typo in
SwitchStatement::semantic, a pull is coming shortly.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 9368] Final switch on typedef'ed enum is not properly checked
http://d.puremagic.com/issues/show_bug.cgi?id=9368 --- Comment #1 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 10:55:42 PST --- https://github.com/D-Programming-Language/dmd/pull/1534 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 888] -cov and _ModuleInfo linking bugs
http://d.puremagic.com/issues/show_bug.cgi?id=888 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added Status|REOPENED|NEW CC||andrej.mitrov...@gmail.com --- Comment #8 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 11:08:24 PST --- Status of this? Close with WORKSFORME if it's fixed. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 463] [module] private module members have global bindings instead of local ones
http://d.puremagic.com/issues/show_bug.cgi?id=463 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added CC||andrej.mitrov...@gmail.com --- Comment #1 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 11:06:44 PST --- I could be wrong, but I don't think that equivalent to static meant it's equivalent in how the two are emitted to the object, but rather where they can be used from (i.e. from within a single module). -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 1181] DMD requires initializer for struct that shouldn't need one
http://d.puremagic.com/issues/show_bug.cgi?id=1181 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added CC||andrej.mitrov...@gmail.com Version|1.013 |D1 D2 --- Comment #2 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 11:17:16 PST --- This is also a D2 bug. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 2644] Unresolved template reference
http://d.puremagic.com/issues/show_bug.cgi?id=2644 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added CC||andrej.mitrov...@gmail.com --- Comment #1 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 11:28:37 PST --- Could be related to issue 2500 Still an issue in 2.061 despite 2500 being marked as fixed for D2, so probably unrelated. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9369] New: DDoc hardcodes '' - 'amp;' in code
http://d.puremagic.com/issues/show_bug.cgi?id=9369 Summary: DDoc hardcodes '' - 'amp;' in code Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nob...@puremagic.com ReportedBy: and...@erdani.com --- Comment #0 from Andrei Alexandrescu and...@erdani.com 2013-01-22 11:38:10 PST --- Code samples introduced with '' have all ampersands replaced with 'amp;'. This HTMLism makes it impossible to translate to other document formats. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed
http://d.puremagic.com/issues/show_bug.cgi?id=6856 Stewart Gordon s...@iname.com changed: What|Removed |Added Summary|Absence of in() contract|Absence of in contract |(precondition) should mean |(precondition) on override |use default precondition |of method that has one is |instead of ignore |badly designed |inherited in() contracts | --- Comment #32 from Stewart Gordon s...@iname.com 2013-01-22 11:43:54 PST --- (In reply to comment #31) Is really hard to debug a problem where you think some preconditions are met (because the code say so), but they really aren't. But the same applies to such a method in a base class where the override does have an explicit in contract. So if that's a valid reason, then it shouldn't be possible to override in contracts at all. But if we implemented this change, it would lead to confusion and fragility as the legal inputs to a method depend on whether it overrides one with an in contract. Even with issue 3836 done and dusted, it can be annoying to have to walk up the class hierarchy to ascertain what the in contract of a method is, even whether it has a in contract at all. Maybe the right course of action is to _require_ an explicit in contract if the superclass defines one. Since there are alternative ways to remove this (mis)feature, I'm tweaking the summary line. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9370] New: DDoc: switch to one html file per entity (function, type etc)
http://d.puremagic.com/issues/show_bug.cgi?id=9370 Summary: DDoc: switch to one html file per entity (function, type etc) Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: enhancement Priority: P2 Component: DMD AssignedTo: nob...@puremagic.com ReportedBy: and...@erdani.com --- Comment #0 from Andrei Alexandrescu and...@erdani.com 2013-01-22 11:44:52 PST --- Currently we use one HTML file per module. It's worth considering switching to a format fostering one file per entity (function, struct, class). -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7715] DDoc eats $1, $2, $3 etc. inside d_code section
http://d.puremagic.com/issues/show_bug.cgi?id=7715 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added Status|RESOLVED|REOPENED Resolution|FIXED | --- Comment #5 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 11:45:13 PST --- Sorry, it was reverted due to a regression (https://github.com/D-Programming-Language/dmd/pull/1244#issuecomment-11162068). Will work on it again soon. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9370] DDoc: switch to one html file per entity (function, type etc)
http://d.puremagic.com/issues/show_bug.cgi?id=9370 Adam D. Ruppe destructiona...@gmail.com changed: What|Removed |Added CC||destructiona...@gmail.com --- Comment #1 from Adam D. Ruppe destructiona...@gmail.com 2013-01-22 11:50:47 PST --- While it might be a decent option, I like the one file per module approach, one reason being you can search it more easily, using the built in browser text search. Though, I've been kinda leaning toward doing my own ddoc impl with the json output anyway, which can do all kinds of organization, making dynamic pages out of it. However, like just about everything non-work I do though, it isn't finished yet! http://dpldocs.info/std.stdio Anyway though I like the ddoc how it is now because it is simple too. So if we change it, I think the existing behavior should at least still be available. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9371] New: @safe works or doens't depending on position
http://d.puremagic.com/issues/show_bug.cgi?id=9371
Summary: @safe works or doens't depending on position
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: dmitry.o...@gmail.com
--- Comment #0 from Dmitry Olshansky dmitry.o...@gmail.com 2013-01-22
11:53:40 PST ---
@system: //required to show the bug
@safe void foo() {}
void bar() @safe {} //this is not @safe somehow!!
@safe void test()
{
foo();
bar();
}
DMD 2.061 outputs:
bug_safe.d(9): Error: safe function 'bug_safe.test' cannot call system function
'bug_safe.bar'
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 9372] New: Class member with @disabled ctor makes class ctor unusable
http://d.puremagic.com/issues/show_bug.cgi?id=9372
Summary: Class member with @disabled ctor makes class ctor
unusable
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: hst...@quickfur.ath.cx
--- Comment #0 from hst...@quickfur.ath.cx 2013-01-22 12:00:45 PST ---
Code:
---SNIP-
import std.stdio;
struct Trouble {
@disable this();
@disable this(this);
int dummy;
this(int x) {
dummy = x;
}
}
class Room {
Trouble t;
this() {
t = Trouble(123);
}
}
void main() {
auto r = new Room; // this is line 23
}
---SNIP-
Compiler error:
---SNIP-
test.d(23): Error: default construction is disabled for type Room
---SNIP-
Commenting out the @disabled lines in Trouble makes the problem go away.
This behaviour makes no sense. The class ctor is a default ctor which calls the
Trouble ctor with non-default arguments, so it should be allowed. I can see
where this shouldn't be allowed (if Room is another struct for, example), but
since Room is a class, this should be allowed.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 3252] undefined reference to package function called from an interface
http://d.puremagic.com/issues/show_bug.cgi?id=3252
Andrej Mitrovic andrej.mitrov...@gmail.com changed:
What|Removed |Added
Status|NEW |RESOLVED
CC||andrej.mitrov...@gmail.com
Resolution||INVALID
--- Comment #5 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22
12:10:09 PST ---
package methods are non-virtual, so you're not overriding iPack here but
instead introducing a new function in the 'A' class. 'I.pack' is an externally
defined final function, which is why linking fails. If you define a body for
'I.pack' you will see that the compiler won't complain about an interface
method having an implementation, because package (i.e. non-virtual) methods are
allowed in interfaces.
The compiler currently doesn't complain about having a function in the base
class (or interface) having the same name as the one defined in the current
class:
class B
{
package void iPack()
{
}
}
class A : B
{
package void iPack() // no errors, neither in D1 or D2
{
}
}
But that is a separate issue which would be an enhancement request (I think
there are some opened ones about this).
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 8152] Linking C library causes Seg-fault
http://d.puremagic.com/issues/show_bug.cgi?id=8152 Stephan stephan.schiff...@mac.com changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED --- Comment #4 from Stephan stephan.schiff...@mac.com 2013-01-22 14:10:40 PST --- This issue is resolved. Tested on dmd 2.061. Thanks for fixing! Stephan -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9369] DDoc hardcodes '' - 'amp;' in code
http://d.puremagic.com/issues/show_bug.cgi?id=9369 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added CC||bugzi...@digitalmars.com --- Comment #1 from Walter Bright bugzi...@digitalmars.com 2013-01-22 14:39:14 PST --- https://github.com/D-Programming-Language/dmd/pull/1535 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6614] std.traits should have an isFinal template
http://d.puremagic.com/issues/show_bug.cgi?id=6614 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added OS/Version|Linux |All --- Comment #4 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 15:11:14 PST --- Ping! :] -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6224] Make a read-only public ownerTid property for std.concurrency
http://d.puremagic.com/issues/show_bug.cgi?id=6224
Andrej Mitrovic andrej.mitrov...@gmail.com changed:
What|Removed |Added
OS/Version|Windows |All
--- Comment #2 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22
15:22:35 PST ---
Ok apparently there's a global but private 'owner' Tid. The problem is this is
equal to Tid.init for the main thread since Tid is a struct. I don't think it's
wise to simply return:
/**
* Return the Tid of the thread which
* spawned the caller's thread.
*/
@property Tid ownerTid()
{
return owner;
}
As calling ownerTid.send() will segfault due to mbox being null. So what should
be done instead, maybe throw an exception in ownerTid() if mbox is null?
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 6224] Make a read-only public ownerTid property for std.concurrency
http://d.puremagic.com/issues/show_bug.cgi?id=6224 --- Comment #3 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 15:24:33 PST --- (In reply to comment #2) The problem is this is equal to Tid.init for the main thread since Tid is a struct. That wasn't worded properly. It's .init because it doesn't have a parent, regardless of whether it's a struct or class. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9369] DDoc hardcodes '' - 'amp;' in code
http://d.puremagic.com/issues/show_bug.cgi?id=9369 --- Comment #2 from github-bugzi...@puremagic.com 2013-01-22 15:36:22 PST --- Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/87ee81ad633dd65274482027b5dcd2d48eefa85f fix Issue 9369 - DDoc hardcodes '' - 'amp;' in code https://github.com/D-Programming-Language/dmd/commit/2471fe912b0707e30be3c7b58d5a0f70a0f6a796 Merge pull request #1535 from WalterBright/fix9369 fix Issue 9369 - DDoc hardcodes '' - 'amp;' in code -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9369] DDoc hardcodes '' - 'amp;' in code
http://d.puremagic.com/issues/show_bug.cgi?id=9369 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6224] Add an ownerTid property in std.concurrency
http://d.puremagic.com/issues/show_bug.cgi?id=6224 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added Keywords||pull AssignedTo|nob...@puremagic.com|andrej.mitrov...@gmail.com Summary|Make a read-only public |Add an ownerTid property in |ownerTid property for |std.concurrency |std.concurrency | --- Comment #4 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 15:59:50 PST --- https://github.com/D-Programming-Language/phobos/pull/1092 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9373] New: Add deprecation message to all empty deprecation statements
http://d.puremagic.com/issues/show_bug.cgi?id=9373 Summary: Add deprecation message to all empty deprecation statements Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Component: Phobos AssignedTo: andrej.mitrov...@gmail.com ReportedBy: andrej.mitrov...@gmail.com --- Comment #0 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 16:37:24 PST --- Since recently deprecation can take a string describing why something is deprecated and what to use instead. There's a bunch of deprecated functions in druntime which don't use this feature, and a whole bunch in Phobos which use pragmas. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9373] Add deprecation message to all empty deprecation statements
http://d.puremagic.com/issues/show_bug.cgi?id=9373 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added Keywords||pull --- Comment #1 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 17:20:09 PST --- https://github.com/D-Programming-Language/phobos/pull/1094 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6538] ICE(mangle.c) Invalid template constraints
http://d.puremagic.com/issues/show_bug.cgi?id=6538
--- Comment #2 from Kenji Hara k.hara...@gmail.com 2013-01-22 17:23:50 PST ---
void foo(I...)(I sizes)
if (allSatisfy!(isIntegral, sizes)) {}
In this case, allSatisfy is instantiated with the symbol 'sizes', but it does
not have an actual entity so foo is not yet instantiated. When a template is
instantiated, its symbol arguments must have valid mangled names, but in this
case, 'sizes' cannot have that. So this is an ice-on-invalid bug.
And also, bug 9361 is a special case of this bug.
struct Unit(A)
{
void butPleaseDontUseMe()()
if (is(unitType!((this // !
{}
}
template isUnit(alias T) if ( is(T)) {}
template isUnit(alias T) if (!is(T)) {}
template unitType(alias T) if (isUnit!T) {}
void main()
{
Unit!int u;
u.butPleaseDontUseMe(); // crashes
}
In the template constraint for the member function template, 'this' expression
is also a *pseudo* symbol as same as the function parameters. So, taking them
through alias template parameter should be rejected.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 9374] New: 'super' should be accessible inside template constraint
http://d.puremagic.com/issues/show_bug.cgi?id=9374
Summary: 'super' should be accessible inside template
constraint
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Keywords: rejects-valid
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: k.hara...@gmail.com
--- Comment #0 from Kenji Hara k.hara...@gmail.com 2013-01-22 17:57:11 PST ---
Following code should work.
class C {}
class D : C
{
static bool test(C) { return true; }
void foo()() if (is(typeof(test(super {}
void bar()() if (is(typeof(super) == C)) {}
}
void main()
{
auto d = new D();
d.foo();
d.bar();
}
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 5806] std.concurrency : Need the count of a thread's message queue
http://d.puremagic.com/issues/show_bug.cgi?id=5806 --- Comment #1 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 18:04:31 PST --- Welp, I don't think I know how to implement this, I'm not sure which one of these is right: return m_localMsgs; return m_localBox.length; return m_sharedBox.length; Or whether there should be a synchronized(m_lock) around them. A count might not even be necessary, but I would like to have a 'hasMessages' property in a Tid to know whether to call `receive` or continue doing some unrelated work in the function. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9375] New: wrong code when assigning to ref in CTFE
http://d.puremagic.com/issues/show_bug.cgi?id=9375
Summary: wrong code when assigning to ref in CTFE
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Keywords: CTFE, wrong-code
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: nilsboss...@googlemail.com
--- Comment #0 from Nils nilsboss...@googlemail.com 2013-01-22 18:13:41 PST
---
Related to issue 7887. While 7887 ICEs, this one compiles, but produces wrong
values.
ref r(ref int[][] a) {
return a[0];
}
auto go() {
int[][] a = [[]];
r(a) = [42];
return a;
}
void main() {
enum ct = go();
auto rt = go();
assert(ct == rt); // fails
}
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 6043] Chainable template mixin
http://d.puremagic.com/issues/show_bug.cgi?id=6043 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added CC||andrej.mitrov...@gmail.com --- Comment #1 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22 18:18:20 PST --- Very interesting idea! In fact, it's a bit odd that we allow the generally slow array appends (due to allocations, reallocations, etc), but we use functions for chaining ranges. I wonder if Andrei would approve this. Maybe you should bring this up to the newsgroups for better awareness. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 5797] std.math.approxEqual should accept const arguments
http://d.puremagic.com/issues/show_bug.cgi?id=5797 Andrej Mitrovic andrej.mitrov...@gmail.com changed: What|Removed |Added Status|NEW |RESOLVED CC||andrej.mitrov...@gmail.com Resolution||WORKSFORME OS/Version|Mac OS X|All -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9361] Nasty bug and/or error message for template constaints using this
http://d.puremagic.com/issues/show_bug.cgi?id=9361 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Status|NEW |RESOLVED Resolution||DUPLICATE --- Comment #4 from Kenji Hara k.hara...@gmail.com 2013-01-22 19:37:10 PST --- *** This issue has been marked as a duplicate of issue 6538 *** -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 5175] Add a way to get parameter names to std.traits
http://d.puremagic.com/issues/show_bug.cgi?id=5175
Andrej Mitrovic andrej.mitrov...@gmail.com changed:
What|Removed |Added
CC||andrej.mitrov...@gmail.com
--- Comment #1 from Andrej Mitrovic andrej.mitrov...@gmail.com 2013-01-22
19:37:08 PST ---
Well there is now __parameters, but this gives out both the types, param names,
and default values:
void test(int x, int y = 1) { }
template ParameterTuple(alias func)
{
static if(is(typeof(func) P == __parameters))
alias P ParameterTuple;
else
static assert(0);
}
void main()
{
pragma(msg, ParameterTuple!test);
}
(int x, int y = 1)
I would personally like to wrap ParameterTypeTuple, ParameterStorageClassTuple,
and provide a single GetParameters template which would return a tuple of these
struct objects:
struct Parameter(Type, alias DefVal)
{
ParameterStorageClass stc;
Type type;
string name;
alias DefVal defaultValue;
}
It's questionable how doable this is but it would make the API easier to use.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 6538] ICE(mangle.c) Invalid template constraints
http://d.puremagic.com/issues/show_bug.cgi?id=6538 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added CC||maidenp...@hotmail.com --- Comment #3 from Kenji Hara k.hara...@gmail.com 2013-01-22 19:37:10 PST --- *** Issue 9361 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: ---
[Issue 9373] Add deprecation message to all empty deprecation statements
http://d.puremagic.com/issues/show_bug.cgi?id=9373 --- Comment #2 from github-bugzi...@puremagic.com 2013-01-22 19:39:30 PST --- Commits pushed to master at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/aaa6854eb7ffe113fb6cff0eb4f366b78e9c1806 Fixes Issue 9373 - Add deprecation messages to Phobos. https://github.com/D-Programming-Language/phobos/commit/2ca9e55a9105ed1237d0b4777a88f8a3f533cba2 Merge pull request #1094 from AndrejMitrovic/Fix9373 Issue 9373 - Add deprecation messages to Phobos. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6538] ICE(mangle.c) Invalid template constraints
http://d.puremagic.com/issues/show_bug.cgi?id=6538 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Keywords||pull Platform|Other |All OS/Version|Windows |All Severity|normal |major --- Comment #4 from Kenji Hara k.hara...@gmail.com 2013-01-22 19:54:33 PST --- https://github.com/D-Programming-Language/dmd/pull/1539 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9374] 'super' should be accessible inside template constraint
http://d.puremagic.com/issues/show_bug.cgi?id=9374 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Keywords||pull --- Comment #1 from Kenji Hara k.hara...@gmail.com 2013-01-22 19:55:17 PST --- https://github.com/D-Programming-Language/dmd/pull/1538 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9361] Nasty bug and/or error message for template constaints using this
http://d.puremagic.com/issues/show_bug.cgi?id=9361 --- Comment #5 from github-bugzi...@puremagic.com 2013-01-22 21:50:19 PST --- Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/d31dd28886a832b077b013c62a885fb02a6ed124 fix Issue 9361 - Nasty bug and/or error message for template constaints using this Add test cases -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6538] ICE(mangle.c) Invalid template constraints
http://d.puremagic.com/issues/show_bug.cgi?id=6538 --- Comment #5 from github-bugzi...@puremagic.com 2013-01-22 21:50:28 PST --- Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/b950009c4a24f34e9dda4a52092f633cff59f940 fix Issue 6538 - ICE(mangle.c) Invalid template constraints https://github.com/D-Programming-Language/dmd/commit/f795e1b816e6a1dcc5667aecad0e1f937a3ddb12 Merge pull request #1539 from 9rnsr/fix6538 Issue 6538 - ICE(mangle.c) Invalid template constraints -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9374] 'super' should be accessible inside template constraint
http://d.puremagic.com/issues/show_bug.cgi?id=9374 --- Comment #2 from github-bugzi...@puremagic.com 2013-01-22 21:50:24 PST --- Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/c683f3b0bedcb89319759e0a236a0769ca7f2ca7 fix Issue 9374 - 'super' should be accessible inside template constraint -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9374] 'super' should be accessible inside template constraint
http://d.puremagic.com/issues/show_bug.cgi?id=9374 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 6538] ICE(mangle.c) Invalid template constraints
http://d.puremagic.com/issues/show_bug.cgi?id=6538 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9376] New: Improve LaTeX - PDF generation for the language spec
http://d.puremagic.com/issues/show_bug.cgi?id=9376 Summary: Improve LaTeX - PDF generation for the language spec Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nob...@puremagic.com ReportedBy: and...@erdani.com --- Comment #0 from Andrei Alexandrescu and...@erdani.com 2013-01-22 23:12:29 PST --- I just made PDF generation via LaTeX work. To build the PDF, go to the d-programming-language.org project on github and run make LATEST=2.061 `pwd`/web/dlangspec.pdf Compilation proceeds without error, however the generated PDF has a lot of issues. A few the come to mind: * there are still quite a few hardcoded HTML tags in source that need to be replaced with macros. Warning, the section headers should be bumped by one, e.g. h2xyz/h2 becomes $(H3 xyz). * tables need a fair amount of tuning and adjustment * a lot of code is in bold $(B xyz), but should be $(D xyz). * Probably some HTML escapes xyz; are still hiding somewhere * Need to use the new ESCAPES macro recently introduced -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9376] Improve LaTeX - PDF generation for the language spec
http://d.puremagic.com/issues/show_bug.cgi?id=9376 --- Comment #1 from Andrei Alexandrescu and...@erdani.com 2013-01-22 23:13:12 PST --- This looks mechanical but may actually be quite challenging. Requires good command of both ddoc and latex. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9372] Class member with @disabled ctor makes class ctor unusable
http://d.puremagic.com/issues/show_bug.cgi?id=9372 Jacob Carlborg d...@me.com changed: What|Removed |Added CC||d...@me.com --- Comment #1 from Jacob Carlborg d...@me.com 2013-01-22 23:34:19 PST --- I don't know if this makes any sense but: When the code new Room is run the runtime will first create a new instance of Room and initialize all fields. It will then run the constructor. Technically you don't need to run the constructor at all, I don't do that in my serialization library. The field t cannot be initialized because it has its default constructor disabled. I'm not sure if the default constructor of Trouble is the same as Trouble.init. If not, I think this should compile. If it is the same, then this error perhaps makes sense. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 9370] DDoc: switch to one html file per entity (function, type etc)
http://d.puremagic.com/issues/show_bug.cgi?id=9370 --- Comment #3 from Andrei Alexandrescu and...@erdani.com 2013-01-22 23:44:40 PST --- ddox is indeed the prime candidate for this. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
