testsuite/tests/linear/should_fail/Linear13.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28


Linear13.hs:6:14: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘a’
    • In an equation for ‘incorrectLet’:
          incorrectLet a = let x = a in ()

Linear13.hs:9:27: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘x’
    • In an equation for ‘incorrectLetWithSignature’:
          incorrectLetWithSignature x
            = let
                y :: Bool -> Bool
                y = x
              in ()

Linear13.hs:12:20: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘x’
    • In an equation for ‘incorrectLazyMatch’:
          incorrectLazyMatch x = let (a, b) = x in b

Linear13.hs:15:24: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘x’
    • In an equation for ‘incorrectCasePromotion’:
          incorrectCasePromotion x = case x of { (a, b) -> b }