[Issue 13189] `alias this` is not transitive

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13189

Mike  changed:

   What|Removed |Added

 CC||slavo5...@yahoo.com
   See Also||https://issues.dlang.org/sh
   ||ow_bug.cgi?id=5380

--


[Issue 5380] alias this is not considered with superclass lookup

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=5380

Mike  changed:

   What|Removed |Added

   See Also||https://issues.dlang.org/sh
   ||ow_bug.cgi?id=13189

--


[Issue 10756] "has no effect in expression" error message with correct type name

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=10756

--- Comment #2 from github-bugzi...@puremagic.com ---
Commits pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/f521dd920bf793e0ca3d370335dcffdcbecad866
Issue 10756 - 'has no effect in expression' error message with correct type
name

https://github.com/dlang/dmd/commit/311c7f8f0d045fa02d5bc2aa9f4edfe4d47152d1
Merge pull request #7300 from JinShil/fix10756

Issue 10756 - 'has no effect in expression' error message with correc…
merged-on-behalf-of: Walter Bright 

--


[Issue 10756] "has no effect in expression" error message with correct type name

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=10756

--- Comment #1 from Mike  ---
potential fix: https://github.com/dlang/dmd/pull/7300

--


[Issue 17977] [scope] escaping reference to a temporary struct instance

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17977

Walter Bright  changed:

   What|Removed |Added

   See Also||https://issues.dlang.org/sh
   ||ow_bug.cgi?id=12625

--


[Issue 12625] [scope] [DIP1000] implicit slicing of RValue static array should be illegal

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12625

Walter Bright  changed:

   What|Removed |Added

   See Also||https://issues.dlang.org/sh
   ||ow_bug.cgi?id=17977

--


[Issue 17977] New: [scope] escaping reference to a temporary struct instance

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17977

  Issue ID: 17977
   Summary: [scope] escaping reference to a temporary struct
instance
   Product: D
   Version: D2
  Hardware: All
OS: All
Status: NEW
  Severity: normal
  Priority: P1
 Component: dmd
  Assignee: nob...@puremagic.com
  Reporter: bugzi...@digitalmars.com

The following code:

  struct List {
Elem front() @safe return scope;
~this() @trusted scope;
@disable this(this);
void* data;
  }

  struct Elem {
void* data;
  }

  void test() @safe {
Elem elem;
{
// error: elem gets a pointer that has a lifetime limited to List()
elem = List().front;
}
  }

--


[Issue 15804] missing UDAs on nested struct template

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15804

John Colvin  changed:

   What|Removed |Added

 CC||john.loughran.colvin@gmail.
   ||com
   Hardware|x86_64  |All
 OS|Linux   |All

--- Comment #1 from John Colvin  ---
the same happens for nested function templates

--


[Issue 14956] C++ Mangling incompatible with C++11

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14956

--- Comment #13 from Sahmi Soulaïman (سليمان السهمي) 
 ---
(In reply to Walter Bright from comment #12)
> The code is neither C++ nor D. Please provide an accurate code example, what
> it mangles to, and what it should mangle to. Thanks!

example:
---
#include 

std::string toString(char* s)
{
return s;
}
---

The function "toString" above returns `std::string`, thus mangles to:
"_Z8toStringB5cxx11Pc", which is in demangled form:
"toString[abi:cxx11](char*)". The question is: how to emulate the "[abi:cxx11]"
part of the mangling in d? Thanks!

--


[Issue 16183] [REG2.068] compile-time string concatenation fails with CTFE and char[] literal involved

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16183

--- Comment #3 from Mike  ---
potential fix: https://github.com/dlang/dmd/pull/7298

--


[Issue 14477] Nullable does not work with structs with default constructor disabled

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14477

--- Comment #4 from MichaelZ  ---
(In reply to MichaelZ from comment #3)
> This is currently an issue for us, and it has been proposed we use
> Algebraic!Foo instead, which appears to work sufficiently, see below.
> 
> What aspects are against doing it this way?

More than a year of working around the issue in various ways, I looked at the
Algebraic thing again:  One disadvantage of Algebraic is that it doesn't have
the same magical implicit .get behaviour as Nullable does :-|

--


[Issue 16183] [REG2.068] compile-time string concatenation fails with CTFE and char[] literal involved

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16183

Mike  changed:

   What|Removed |Added

 CC||slavo5...@yahoo.com

--- Comment #2 from Mike  ---
Further reduced:

void main()
{
string g(string s) { return s; } 
enum string y = ['f'] ~ g("g");
}

Can be worked around with:

void main()
{
string g(string s) { return s; } 
enum string y = cast(string)['f'] ~ g("g");
}

weird error :(

--


[Issue 15984] [REG2.071] Interface contracts retrieve garbage instead of parameters

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15984

robin.kup...@rwth-aachen.de changed:

   What|Removed |Added

 CC||robin.kup...@rwth-aachen.de

--- Comment #15 from robin.kup...@rwth-aachen.de ---
While the first example works now, parameters in out contracts on interface
functions are still garbage.

See example https://run.dlang.io/is/c5XDwJ.

Placing the contract on the implementing function currently seems to be the
only  workaround.

--


[Issue 17934] [scope] scopeness entrypoint for unique/ref-counted missing

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17934

github-bugzi...@puremagic.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--


[Issue 17934] [scope] scopeness entrypoint for unique/ref-counted missing

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17934

--- Comment #4 from github-bugzi...@puremagic.com ---
Commit pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/18ad1685dcdca65070f7a1d89efa4410a5936895
fix Issue 17934 - [scope] scopeness entrypoint for unique/ref-counted missing

--


[Issue 17976] core.exception.AssertError@ddmd/dsymbolsem.d(1624)

2017-11-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17976

RazvanN  changed:

   What|Removed |Added

 CC||razvan.nitu1...@gmail.com

--- Comment #1 from RazvanN  ---
PR : https://github.com/dlang/dmd/pull/7297

--