summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearViewPattern.stderr
blob: c0aa969741aef38d29739b7653e2fbdf0f39e9d0 (plain)
1
2
3
4
5
6

LinearViewPattern.hs:11:4: error:
    • 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