path: root/tests/patmat/exhausting.check

21: Pattern Match Exhaustivity: List(_), List(_, _, _)
27: Pattern Match Exhaustivity: Nil
32: Pattern Match Exhaustivity: List(_, _)
39: Pattern Match Exhaustivity: Bar3
44: Pattern Match Exhaustivity: (Bar2, Bar2)
53: Pattern Match Exhaustivity: (Bar2, Bar2), (Bar2, Bar1), (Bar1, Bar3), (Bar1, Bar2)