summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/Linear2.stderr
blob: d7275d19ec29d1d014e012b19a500d094d92e68c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

Linear2.hs:9:15: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from multiplicity of ‘x’
    • In an equation for ‘incorrectApp1’: incorrectApp1 x = dup (x, 0)

Linear2.hs:12:17: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from multiplicity of ‘x’
    • In an equation for ‘incorrectApp2’: incorrectApp2 f x = f x

Linear2.hs:15:15: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from multiplicity of ‘n’
    • In an equation for ‘incorrectIf’:
          incorrectIf x n = if x then n else 0