diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-30 15:03:49 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-30 15:03:49 +0100 |
commit | 1129cf0a7b4fc4c61c7f38f95793f27c3df9ce60 (patch) | |
tree | 4f53059c98487cc665e59449da81411429d840a0 /testsuite/tests/typecheck/should_fail/T7869.stderr | |
parent | f46875431cac4ae937b685389326fa67fa43d155 (diff) | |
download | haskell-1129cf0a7b4fc4c61c7f38f95793f27c3df9ce60.tar.gz |
Test Trac #7869
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7869.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7869.stderr | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7869.stderr b/testsuite/tests/typecheck/should_fail/T7869.stderr new file mode 100644 index 0000000000..bdf814e78d --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T7869.stderr @@ -0,0 +1,28 @@ + +T7869.hs:3:12: + Couldn't match type ‛b’ with ‛b1’ + because type variable ‛b1’ would escape its scope + This (rigid, skolem) type variable is bound by + an expression type signature: [a1] -> b1 + at T7869.hs:3:5-27 + Expected type: [a1] -> b1 + Actual type: [a] -> b + Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1) + In the expression: f x + In the expression: (\ x -> f x) :: [a] -> b + In an equation for ‛f’: f = (\ x -> f x) :: [a] -> b + +T7869.hs:3:12: + Couldn't match type ‛a’ with ‛a1’ + because type variable ‛a1’ would escape its scope + This (rigid, skolem) type variable is bound by + an expression type signature: [a1] -> b1 + at T7869.hs:3:5-27 + Expected type: [a1] -> b1 + Actual type: [a] -> b + Relevant bindings include + f :: [a] -> b (bound at T7869.hs:3:1) + x :: [a1] (bound at T7869.hs:3:7) + In the expression: f x + In the expression: (\ x -> f x) :: [a] -> b + In an equation for ‛f’: f = (\ x -> f x) :: [a] -> b |