testsuite/tests/linear/should_fail/LinearPatSyn.stderr


1
2
3
4
5
6


LinearPatSyn.hs:13:4: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from a non-linear pattern
    • In the pattern: P y x
      In an equation for ‘s’: s (P y x) = (y, x)