testsuite/tests/linear/should_fail/Linear11.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13


Linear11.hs:9:23: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from multiplicity of ‘a’
    • In an equation for ‘incorrectUnrestricted’:
          incorrectUnrestricted a = Unrestricted a

Linear11.hs:14:43: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from multiplicity of ‘a’
    • In the pattern: NotUnrestricted a
      In an equation for ‘incorrectUnrestrictedDup’:
          incorrectUnrestrictedDup (NotUnrestricted a) = (a, a)