aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t7020.check
blob: a44384946184ee149e2c7e19bb7e56bb57502fcb (plain) (blame)
1
2
3
4
3: Pattern Match Exhaustivity: List(_, _)
10: Pattern Match Exhaustivity: List(_, _)
17: Pattern Match Exhaustivity: List(_, _)
24: Pattern Match Exhaustivity: List(_, _)