aboutsummaryrefslogblamecommitdiff
path: root/tests/patmat/t7285.check
blob: d40b77e4bdd22848a50eb7a53a3a4b4e9be405cb (plain) (tree)
1
2
3

                                          
                                          
15: Pattern Match Exhaustivity: (Up, Down)
33: Pattern Match Exhaustivity: Down
51: Pattern Match Exhaustivity: (Up, Down)