testsuite/tests/linear/should_fail/Linear7.stderr


1
2
3
4
5
6
7
8
9


Linear7.hs:7:16: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘n’
    • In an equation for ‘incorrectLCase’:
          incorrectLCase n
            = \case
                True -> n
                False -> 0