Code

Support catch expr#250

Code

Merged

yoshihiro503 merged 4 commits intomasterdwango/fialyzer:masterfrom

feature/catch_exprdwango/fialyzer:feature/catch_exprCopy head branch name to clipboard

Jun 3, 2019

Commits

Commits on May 30, 2019

• support catch expression

  yoshihiro503

  committed
  96401ad

  Copy full SHA for 96401ad

• add tests

  yoshihiro503

  committed
  d199721

  Copy full SHA for d199721

• add a derivation rule for CATCH expression to the specification document

  yoshihiro503

  committed
  077429f

  Copy full SHA for 077429f

• fix as using space for CATCH rule

  yoshihiro503

  committed
  ee5eeef

  Copy full SHA for ee5eeef