scope() statements and return

[monarch_dodra via Digitalmars-d]

On Sunday, 5 October 2014 at 15:03:08 UTC, ketmar via 
Digitalmars-d wrote:
> On Sun, 05 Oct 2014 14:53:37 +0000
> monarch_dodra via Digitalmars-d <digitalmars-d at puremagic.com> 
> wrote:
>
>> Promises hold provided the precondition your program is in a 
>> valid state. Having an Error invalidates that precondition, 
>> hence voids that promise.
> so Error should not be catchable and should crash immidiately, 
> without
> any unwinding.

Don't put words in my mouth. Also, Errors do only partial stack 
unwinding, so yes, once an Error has been thrown, your program 
should terminate.

> as long as Errors are just another kind of exception,
> the promise must be kept.

Errors aren't Exceptions. They make no promises.