testsuite/tests/linear/should_fail/LinearViewPattern.stderr


1
2
3
4
5
6


LinearViewPattern.hs:11:4: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from a non-linear pattern
    • In the pattern: not -> True
      In an equation for ‘f’: f (not -> True) = True