diff options
Diffstat (limited to 'testsuite/tests/linear/should_fail/LinearErrOrigin.stderr')
| -rw-r--r-- | testsuite/tests/linear/should_fail/LinearErrOrigin.stderr | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr b/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr new file mode 100644 index 0000000000..10b889a9a8 --- /dev/null +++ b/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr @@ -0,0 +1,16 @@ + +LinearErrOrigin.hs:7:7: error: + • Couldn't match type ‘p’ with ‘q’ arising from multiplicity of ‘x’ + ‘p’ is a rigid type variable bound by + the type signature for: + foo :: forall a b. (a -> b) -> a -> b + at LinearErrOrigin.hs:6:1-35 + ‘q’ is a rigid type variable bound by + the type signature for: + foo :: forall a b. (a -> b) -> a -> b + at LinearErrOrigin.hs:6:1-35 + • In an equation for ‘foo’: foo f x = f x + • Relevant bindings include + f :: a # p -> b (bound at LinearErrOrigin.hs:7:5) + foo :: (a # p -> b) -> a # q -> b + (bound at LinearErrOrigin.hs:7:1) |