[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17930 --- Comment #3 from Rob --- Forgot return types on functions. Also, the function in Derived2 should have "override". --

[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17930 --- Comment #2 from Rob --- In addition to class Base { myFunc() { } } class Derived : Base { myFunc(int a) in { assert(a >= 0); } body { } } getting a compile error. In the following situation: class Bas

[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17930 --- Comment #1 from Rob --- *** Issue 17929 has been marked as a duplicate of this issue. *** --

[Issue 17929] [Contract Programming] 23.3 In, Out and Inheritance

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17929 Rob changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Issue 17927] [scope] `scope inout` parameter value can be escaped via return

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17927 --- Comment #6 from Walter Bright --- https://github.com/dlang/dmd/pull/7235 --

[Issue 17927] [scope] `scope inout` parameter value can be escaped via return

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17927 Walter Bright changed: What|Removed |Added Summary|[scope] scope input return |[scope] `scope inout` |val

[Issue 17928] [scope] `in` is not treated as `const scope`

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17928 Walter Bright changed: What|Removed |Added CC||bugzi...@digitalmars.com --- Comment #1 from

[Issue 17927] [scope] scope input return value can be escaped

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17927 Walter Bright changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Issue 17927] [scope] scope input return value can be escaped

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17927 --- Comment #4 from Walter Bright --- It turns out that: struct String { inout(char)* mem2() inout scope @safe { return ptr; } char* ptr; } not issuing an error is actually correct, because a parameter that is `ref inout` is inferred to

[Issue 14599] Re-add scratchFile after executable size regression has been fixed

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14599 Shriramana Sharma changed: What|Removed |Added CC||samj...@gmail.com --

[Issue 17912] Add function to std.file for creating a temporary file with a name

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17912 Shriramana Sharma changed: What|Removed |Added CC||samj...@gmail.com --

[Issue 17927] [scope] scope input return value can be escaped

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17927 --- Comment #2 from Walter Bright --- Changing the @trusted to @safe makes the first example fail to compile with: test.d(6): Error: pointer slicing not allowed in safe functions Changing String to: struct String { inout(char)[] opSlice()

[Issue 17930] New: [Contract Programming] 23.3 In, Out and Inheritance

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17930 Issue ID: 17930 Summary: [Contract Programming] 23.3 In, Out and Inheritance Product: D Version: D2 Hardware: All URL: http://dlang.org/ OS: All Status: NE

[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17930 Rob changed: What|Removed |Added Keywords||contracts Severity|enhancement

[Issue 17929] New: [Contract Programming] 23.3 In, Out and Inheritance

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17929 Issue ID: 17929 Summary: [Contract Programming] 23.3 In, Out and Inheritance Product: D Version: D2 Hardware: All URL: http://dlang.org/ OS: All Status: NE

[Issue 17912] Add function to std.file for creating a temporary file with a name

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17912 --- Comment #1 from Jonathan M Davis --- https://github.com/dlang/phobos/pull/5788 --

[Issue 17717] C++ files not always recompiled when changed

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17717 --- Comment #2 from bitwise --- @Rainer Schuetze I would have to check again. I was using DMD/DMC at the time, but switched to ldc/clang shortly after to get C++11 support. I'll try to reproduce the bug and get back to you. --

[Issue 17717] C++ files not always recompiled when changed

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17717 Rainer Schuetze changed: What|Removed |Added CC||r.sagita...@gmx.de --- Comment #1 from Rai

[Issue 17928] New: [scope] `in` is not treated as `const scope`

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17928 Issue ID: 17928 Summary: [scope] `in` is not treated as `const scope` Product: D Version: D2 Hardware: All OS: All Status: NEW Severity: major Priorit

[Issue 11014] call stack not displayed when exception is thrown

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=11014 Rainer Schuetze changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Issue 17811] No stack for Win32 exceptions

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17811 --- Comment #9 from Rainer Schuetze --- *** Issue 11014 has been marked as a duplicate of this issue. *** --

[Issue 17796] ldc's -oq (write full module path for objects) breaks linking

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17796 Rainer Schuetze changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Issue 17927] [scope] scope input return value can be escaped

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17927 --- Comment #1 from Martin Nowak --- My bad, there are two bugs. All of the above opSlice methods should fail to compile, but on the mutable and cost method do, the inout silently compiles, even though it escapes a field. All of the methods should

[Issue 17927] New: [scope] scope input return value can be escaped

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17927 Issue ID: 17927 Summary: [scope] scope input return value can be escaped Product: D Version: D2 Hardware: All OS: Linux Status: NEW Keywords: safe Sev

[Issue 17927] [scope] scope input return value can be escaped

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17927 Martin Nowak changed: What|Removed |Added OS|Linux |All --

[Issue 17926] New: Provide high level wrapper for creating temporary directories and files

2017-10-22 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17926 Issue ID: 17926 Summary: Provide high level wrapper for creating temporary directories and files Product: D Version: D2 Hardware: x86_64 OS: Linux Sta