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@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.