summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/Linear1.stderr
blob: c549d75be33e4098778788ffe09a197d3b47dd1a (plain)
1
2
3
4
5
6
7
8
9
10

Linear1.hs:10:14: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘x’
    • In an equation for ‘incorrectDup’: incorrectDup x = (x, x)

Linear1.hs:14:15: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘x’
    • In an equation for ‘incorrectDrop’: incorrectDrop x = ()