druntime function to query whether any exception is "in flight"
Sebastiaan Koppe
mail at skoppe.eu
Wed Oct 21 07:53:02 UTC 2020
On Wednesday, 21 October 2020 at 06:22:28 UTC, Petar Kirov
[ZombineDev] wrote:
> Slightly off-topic: Unfortunately `scope` is a parameter
> storage class and not a type qualifier (which is probably the
> biggest point of contention regarding dip1000) so you can't
> express what you meant above.
>
> This has certain issues:
> * it makes expressing certain code patterns that should be safe
> impossible in @safe code (which are e.g. safe in Rust)
> * it makes some holes in @safe (both language and library) hard
> to fix. See e.g.: https://issues.dlang.org/show_bug.cgi?id=17764
> * doesn't help with concurrency safety issues, like these
> proposals:
> * https://forum.dlang.org/post/k831b6$1368$1@digitalmars.com
> *
> https://forum.dlang.org/post/kluaojijixhwigoujeip@forum.dlang.org
Thanks for digging this up. I could really use what they describe
in there.
More information about the Digitalmars-d
mailing list