diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T10619.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T10619.stderr | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T10619.stderr b/testsuite/tests/typecheck/should_fail/T10619.stderr index c26e550f17..6f584b90db 100644 --- a/testsuite/tests/typecheck/should_fail/T10619.stderr +++ b/testsuite/tests/typecheck/should_fail/T10619.stderr @@ -19,11 +19,13 @@ T10619.hs:10:14: error: \ y -> y T10619.hs:14:15: error: - • Couldn't match type ‘p’ with ‘forall a. a -> a’ - Expected: p -> p + • Couldn't match type ‘p2’ with ‘forall a. a -> a’ + Expected: p2 -> p2 Actual: (forall a. a -> a) -> forall b. b -> b - ‘p’ is a rigid type variable bound by - the inferred type of bar :: p2 -> p -> p + Cannot equate type variable ‘p2’ + with a type involving polytypes: forall a. a -> a + ‘p2’ is a rigid type variable bound by + the inferred type of bar :: p -> p2 -> p2 at T10619.hs:(12,1)-(14,66) • In the expression: (\ x -> x) :: (forall a. a -> a) -> forall b. b -> b @@ -39,7 +41,7 @@ T10619.hs:14:15: error: else ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b) • Relevant bindings include - bar :: p2 -> p -> p (bound at T10619.hs:12:1) + bar :: p -> p2 -> p2 (bound at T10619.hs:12:1) T10619.hs:17:13: error: • Couldn't match type ‘p0’ with ‘forall a. a -> a’ @@ -54,6 +56,8 @@ T10619.hs:20:14: error: • Couldn't match type ‘p’ with ‘forall a. a -> a’ Expected: p -> p Actual: (forall a. a -> a) -> forall b. b -> b + Cannot equate type variable ‘p’ + with a type involving polytypes: forall a. a -> a ‘p’ is a rigid type variable bound by the inferred type of quux :: Bool -> p -> p at T10619.hs:(19,1)-(20,64) |