summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearTHFail.stderr
blob: 681fa4294dd3e9fb9e5fd90940fe1ada766f262b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

LinearTHFail.hs:8:3: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘x’
    • In an equation for ‘f’:
          f x
            = [| Just $x |]
              pending(rn) [<spn, x>]

LinearTHFail.hs:11:3: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘x’
    • In an equation for ‘g’: g x = [|| Just $$x ||]