Run-time Errors

TBW!

There are no exceptions in Fuzion. A failed contract (pre- or post-condition or invariant) means that the application is in an undefined state, we cannot easily recover from this. Instead, the current Thread will be terminated and an error handler will be called.

Since mutable data must be thread-local, other threads can continue execution.