tests/patmat/patmatexhaust.check


1
2
3
4
5
6
7
8

7: Pattern Match Exhaustivity: Baz
11: Pattern Match Exhaustivity: Bar(_)
23: Pattern Match Exhaustivity: (Qult(), Qult()), (Kult(_), Kult(_))
49: Pattern Match Exhaustivity: _: Gp
75: Pattern Match Exhaustivity: _: B
100: Pattern Match Exhaustivity: _: C1
114: Pattern Match Exhaustivity: D2(), D1
126: Pattern Match Exhaustivity: _: C1