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

LinearIf.hs:13:3: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from multiplicity of ‘b’
    • In an equation for ‘f’: f b x y = if b then x else y

LinearIf.hs:13:5: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from multiplicity of ‘x’
    • In an equation for ‘f’: f b x y = if b then x else y

LinearIf.hs:13:7: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from multiplicity of ‘y’
    • In an equation for ‘f’: f b x y = if b then x else y