1. 27 Oct, 2019 1 commit
  2. 29 Sep, 2019 1 commit
  3. 28 May, 2018 1 commit
    • 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
  4. 25 Mar, 2018 1 commit
  5. 23 Mar, 2018 1 commit
  6. 08 Mar, 2018 1 commit
  7. 08 Feb, 2018 1 commit