@safe D requires which DIP switches?

Nick Treleaven nick at geany.org
Sat Jan 8 18:19:47 UTC 2022

On Saturday, 8 January 2022 at 13:33:26 UTC, Elronnd wrote:
> Exceptions can be modeled as return values. This is a strictly 
> local rewrite.  So it is no more a violation of purity than is 
> writing to memory pointed to by passed-in pointers (and 
> arguably less).

They can 'return' to a higher scope than the caller of the 
function. Any stack memory from the caller's frame will be 
corrupted. @safe cannot allow this.

More information about the Digitalmars-d mailing list