https://issues.dlang.org/show_bug.cgi?id=20137
--- Comment #11 from anonymous4 ---
(In reply to Victor Porton from comment #7)
> By the way, we should raise the task to completely replace Ada. There should
> be no unpredictable crashes.
That's more or less the plan for Safe D.
--
https://issues.dlang.org/show_bug.cgi?id=20137
--- Comment #10 from anonymous4 ---
Should be detectable by dscanner on syntax level: if rhs is a template named
Scoped and lhs is not an `auto` declared variable.
--
https://issues.dlang.org/show_bug.cgi?id=20137
--- Comment #9 from anonymous4 ---
(In reply to Victor Porton from comment #5)
> If it requires compiler changes specifically for Scoped implementation, it
> should be done, Scoped is a very important construct and deserves special
> compiler support
https://issues.dlang.org/show_bug.cgi?id=20137
--- Comment #8 from Simen Kjaeraas ---
There is no unpredictable crash in this case - the crash is perfectly
predictable. And no, it's not like saying C does what it should - it's like
saying Rust does what it should because you can do unsafe stuff i
https://issues.dlang.org/show_bug.cgi?id=20137
--- Comment #7 from Victor Porton ---
It is the same as if you were to say: C does what it should do, it crashes
programs. I utterly disagree.
Crash on
T x = Scoped!T();
is a BUG in reliability. Not a bug in the implementation, but a bug in
reliab
https://issues.dlang.org/show_bug.cgi?id=20137
Simen Kjaeraas changed:
What|Removed |Added
CC||simen.kja...@gmail.com
--- Comment #6 from
https://issues.dlang.org/show_bug.cgi?id=20137
--- Comment #5 from Victor Porton ---
No, I propose to fix the bug, not to remove a feature.
The measures of https://dlang.org/spec/memory-safe-d.html are not enough,
because Scoped is a very special case and need to be done in some special way,
to
https://issues.dlang.org/show_bug.cgi?id=20137
--- Comment #4 from anonymous4 ---
Safe D is an ongoing effort to fix such bugs, see
https://dlang.org/spec/memory-safe-d.html
Or do you propose to remove Scoped from phobos?
--
https://issues.dlang.org/show_bug.cgi?id=20137
--- Comment #3 from Victor Porton ---
This "by design" is very disgracing. Need to do something.
If to make it more reliable it's needed compiler changes, a new compiler
"directive" should be added.
@safe being missing should make harmlessly lookin
https://issues.dlang.org/show_bug.cgi?id=20137
anonymous4 changed:
What|Removed |Added
Keywords||safe
Status|NEW
https://issues.dlang.org/show_bug.cgi?id=20137
RazvanN changed:
What|Removed |Added
CC||razvan.nitu1...@gmail.com
Component|dmd
11 matches
Mail list logo