diff options
Diffstat (limited to 'testsuite/tests/linear/should_fail/Linear2.stderr')
| -rw-r--r-- | testsuite/tests/linear/should_fail/Linear2.stderr | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/linear/should_fail/Linear2.stderr b/testsuite/tests/linear/should_fail/Linear2.stderr new file mode 100644 index 0000000000..eec52922a0 --- /dev/null +++ b/testsuite/tests/linear/should_fail/Linear2.stderr @@ -0,0 +1,16 @@ + +Linear2.hs:9:15: error: + • Couldn't match type ‘'Many’ with ‘'One’ + arising from multiplicity of ‘x’ + • In an equation for ‘incorrectApp1’: incorrectApp1 x = dup (x, 0) + +Linear2.hs:12:17: error: + • Couldn't match type ‘'Many’ with ‘'One’ + arising from multiplicity of ‘x’ + • In an equation for ‘incorrectApp2’: incorrectApp2 f x = f x + +Linear2.hs:15:15: error: + • Couldn't match type ‘'Many’ with ‘'One’ + arising from multiplicity of ‘n’ + • In an equation for ‘incorrectIf’: + incorrectIf x n = if x then n else 0 |