subject:"\[Issue 22221\] \[dip1000\] pure function can escape parameters through Exception"

[Issue 22221] [dip1000] pure function can escape parameters through Exception

2022-04-01 Thread d-bugmail--- via Digitalmars-d-bugs

https://issues.dlang.org/show_bug.cgi?id=1 Dlang Bot changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Issue 22221] [dip1000] pure function can escape parameters through Exception

2022-03-14 Thread d-bugmail--- via Digitalmars-d-bugs

https://issues.dlang.org/show_bug.cgi?id=1 --- Comment #8 from Dennis --- (In reply to Atila Neves from comment #7) > > The compiler thinks "`scope` inference failed > > On a non templated function? I assume a function with attribute inference here, but it's the same without inference. The

[Issue 22221] [dip1000] pure function can escape parameters through Exception

2022-03-14 Thread d-bugmail--- via Digitalmars-d-bugs

https://issues.dlang.org/show_bug.cgi?id=1 --- Comment #7 from Atila Neves --- > The compiler thinks "`scope` inference failed On a non templated function? > How are you going to explain to D users why `enforce` now has an extra `null` > argument? With a comment on enforce. It's not ideal

[Issue 22221] [dip1000] pure function can escape parameters through Exception

2022-03-08 Thread d-bugmail--- via Digitalmars-d-bugs

https://issues.dlang.org/show_bug.cgi?id=1 --- Comment #6 from Dennis --- (In reply to Atila Neves from comment #5) > Are you sure about that? I checked out your branch some weeks ago and > started adding scope to a *lot* of Phobos functions before I gave up. Did you check out the latest Pho

[Issue 22221] [dip1000] pure function can escape parameters through Exception

2022-03-07 Thread d-bugmail--- via Digitalmars-d-bugs

https://issues.dlang.org/show_bug.cgi?id=1 --- Comment #5 from Atila Neves --- > I'm not sure, what's left blocking the fix PR is 1 function in excel-D > (shouldEqual) and some Phobos unittests. It's unknown how much breakage > results from your proposal. Are you sure about that? I checked

[Issue 22221] [dip1000] pure function can escape parameters through Exception

2022-02-17 Thread d-bugmail--- via Digitalmars-d-bugs

https://issues.dlang.org/show_bug.cgi?id=1 --- Comment #4 from Dennis --- (In reply to Walter Bright from comment #3) > Therefore, this fix will be both correct and break the least amount of code. I'm not sure, what's left blocking the fix PR is 1 function in excel-D (shouldEqual) and some P

[Issue 22221] [dip1000] pure function can escape parameters through Exception

2022-02-16 Thread d-bugmail--- via Digitalmars-d-bugs

https://issues.dlang.org/show_bug.cgi?id=1 --- Comment #3 from Walter Bright --- Atila and I discussed this, and we think that it should just be an error for a pure function to throw its parameters. The rationale is too much existing code relies on the scope inference, and there is (likely) v