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