aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t7285.check
blob: 1c2841920935b663a614dca7c4426d54ddaf373b (plain) (blame)
1
2
3
15: Pattern Match Exhaustivity: (Up, Down)
33: Pattern Match Exhaustivity: Down
51: Pattern Match Exhaustivity: (Base.Up, Base.Down)