ocaml-gospel/gospel

Improve pattern-matchings

pascutto opened this issue · 0 comments

pascutto commented
  • Add a when guard in pattern cases.
  • Check for pattern redundancy and provide example.
  • Check for ambiguous patterns (see #192)