[Issue 6785] Wrong error message from pragma(msg) of failed instantiation

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6785


Don clugd...@yahoo.com.au changed:

   What|Removed |Added

 CC||clugd...@yahoo.com.au


--- Comment #1 from Don clugd...@yahoo.com.au 2011-10-08 13:28:54 PDT ---
The __error isn't part of the error message. It's coming from the
pragma(msg): it's printing foo!x, and that's an error, so it prints __error.

The real bug is that the pragma msg is still displayed, even when an error
occurs while evaluating it. Maybe it should give an error of the form:

test.d(3): Error: template instance foo!(x) template 'foo' is not defined
test.d(3): Error: parameter for pragma(msg) must be a string

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6793] New: std.exception.assumeUnique documentation

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6793

   Summary: std.exception.assumeUnique documentation
   Product: D
   Version: D2
  Platform: Other
OS/Version: Other
Status: NEW
  Severity: enhancement
  Priority: P2
 Component: websites
AssignedTo: nob...@puremagic.com
ReportedBy: bearophile_h...@eml.cc


--- Comment #0 from bearophile_h...@eml.cc 2011-10-08 13:31:55 PDT ---
In the site documentation of std.exception.assumeUnique there is code like:

 string letters()
 {
   char[] result = new char['z' - 'a' + 1];
   foreach (i, ref e; result)
   {
 e = 'a' + i;
   }
   return assumeUnique(result);
 }


But recent improvements of the D language make assumeUnique useless in this
case, this compiles:

string lowercase() pure nothrow {
auto result = new char['z' - 'a' + 1];
foreach (i, ref c; result)
c = cast(char)('a' + i);
return result;
}
void main() {}


On the other hand currently (DMD 2.056head) 'a'+i can't be assigned to a char
because the compiler doesn't see that the variable 'i' will never become too
much big.

So in the documentation of std.exception.assumeUnique I suggest to explain that
some usages (where the function is pure) of assumeUnique are not needed now.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6289] Make slices of const/immutable arrays mutable (but keep the elements const/immutable)

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6289


Walter Bright bugzi...@digitalmars.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||bugzi...@digitalmars.com
 Resolution||FIXED


--- Comment #2 from Walter Bright bugzi...@digitalmars.com 2011-10-08 
14:01:49 PDT ---
https://github.com/D-Programming-Language/dmd/commit/55288ab7455cbdaf0bedccb0d054d2ae6ba453dd

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6738] Can't call templatized property function from within a struct/class method

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6738


Kenji Hara k.hara...@gmail.com changed:

   What|Removed |Added

   Keywords||patch, rejects-valid


--- Comment #1 from Kenji Hara k.hara...@gmail.com 2011-10-08 14:04:47 PDT ---
https://github.com/D-Programming-Language/dmd/pull/280

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6780] Templated global property functions do not work

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6780


Kenji Hara k.hara...@gmail.com changed:

   What|Removed |Added

   Keywords||patch


--- Comment #1 from Kenji Hara k.hara...@gmail.com 2011-10-08 14:05:03 PDT ---
https://github.com/D-Programming-Language/dmd/pull/280

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6634] std.path.globMatch throws wrong assertion

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6634


Kenji Hara k.hara...@gmail.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED


--- Comment #3 from Kenji Hara k.hara...@gmail.com 2011-10-08 14:57:32 PDT ---
https://github.com/D-Programming-Language/phobos/commit/2399de49d8ffee3c8246b83561cbfc9c3ccd3c90

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6738] Can't call templatized property function from within a struct/class method

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6738



--- Comment #2 from Andrej Mitrovic andrej.mitrov...@gmail.com 2011-10-08 
15:15:07 PDT ---
It's absolutely fantastic that this is getting fixed. Major props!

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6782] inout-correct range is not iterable using foreach with type deduction inside non-inout function

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6782


Walter Bright bugzi...@digitalmars.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||bugzi...@digitalmars.com
 Resolution||FIXED


--- Comment #2 from Walter Bright bugzi...@digitalmars.com 2011-10-08 
16:26:38 PDT ---
https://github.com/D-Programming-Language/dmd/commit/28b39dece1fe6a4d5c82c7accd04ba380855dd11

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 5703] std.intrinsic. and core.bitop.bsf, bsr and bswap should be CTFE-able

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5703


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-10-08 
17:54:33 PDT ---
https://github.com/D-Programming-Language/dmd/commit/f8b88759dd1a27ec983eb9e439da2a45efce239c

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6794] New: [ICE] (expression.c 993) with inout

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6794

   Summary: [ICE] (expression.c 993) with inout
   Product: D
   Version: D2
  Platform: x86
OS/Version: Windows
Status: NEW
  Severity: normal
  Priority: P2
 Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: bearophile_h...@eml.cc


--- Comment #0 from bearophile_h...@eml.cc 2011-10-08 19:09:21 PDT ---
This is wrong code:

struct Foo(T) {
void bar(T)(inout T x) {}
}
void main() {
Foo!int f;
f.bar(1);
}


With DMD 2.056head it crashes DMD that gives:

test.d(2): Error: inout on parameter means inout must be on return type as well
(if from D1 code, replace with 'ref')
test.d(2): Error: variable test.Foo!(int).Foo.bar!(int).bar.x inout variables
can only be declared inside inout functions
test.d(6): Error: template instance test.Foo!(int).Foo.bar!(int) error
instantiating
Assertion failure: 'tret-hasWild()' on line 993 in file 'expression.c'

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6795] New: [ICE] (cgcs.c 526) Incrementing an enum array item

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6795

   Summary: [ICE] (cgcs.c 526) Incrementing an enum array item
   Product: D
   Version: D2
  Platform: x86
OS/Version: Windows
Status: NEW
  Severity: normal
  Priority: P2
 Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: bearophile_h...@eml.cc


--- Comment #0 from bearophile_h...@eml.cc 2011-10-08 19:10:07 PDT ---
void main() {
enum int[] array = [0];
array[0]++;
}


DMD 2.056head:

Internal error: backend\cgcs.c 526

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6796] New: Several __error with wrong enum definition

2011-10-08 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6796

   Summary: Several __error with wrong enum definition
   Product: D
   Version: D2
  Platform: x86
OS/Version: Windows
Status: NEW
  Keywords: diagnostic
  Severity: normal
  Priority: P2
 Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: bearophile_h...@eml.cc


--- Comment #0 from bearophile_h...@eml.cc 2011-10-08 19:12:37 PDT ---
Wrong code:


void main() {
enum int[][] array = [0, 1];
array[0] *= 10;
}


DMD 2.056head shows several __error:

test.d(2): Error: cannot implicitly convert expression (0) of type int to int[]
test.d(2): Error: cannot implicitly convert expression (1) of type int to int[]
test.d(3): Error: '[(__error),(__error)][cast(uint)0]' is not a scalar, it is a
int[]
test.d(3): Error: incompatible types for (([(__error),(__error)][cast(uint)0])
*= (10)): 'int[]' and 'int'

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---