• Sven Keidel's avatar
    refactor exceptions · 377eeb33
    Sven Keidel authored
    There are now two abstract domains for exceptions, `PropagateError`,
    which is used in case the language only _propagates_ the error and
    `HandleError` in case the language allows to _handle_ excepctions.
    Furthermore, I unified the interfaces for `ArrowTry` and `ArrowTryCatch`.
    377eeb33
SharedSpecs.hs 1.69 KB