aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t6420.check
blob: 73acf14544fe2770b5f4351345c6dbea27d6fe2e (plain) (blame)
1
5: Pattern Match Exhaustivity: (Nil, _), (List(_, _), _), (Nil, Nil), (Nil, List(_, _)), (List(_, _), Nil), (List(_, _), List(_, _)), (_, Nil), (_, List(_, _))