diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T10619.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T10619.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T10619.stderr b/testsuite/tests/typecheck/should_fail/T10619.stderr index 5ed7cfed68..e002759ba0 100644 --- a/testsuite/tests/typecheck/should_fail/T10619.stderr +++ b/testsuite/tests/typecheck/should_fail/T10619.stderr @@ -17,7 +17,7 @@ T10619.hs:9:15: error: else \ y -> y • Relevant bindings include - foo :: r -> (b -> b) -> b -> b (bound at T10619.hs:8:1) + foo :: t -> (b -> b) -> b -> b (bound at T10619.hs:8:1) T10619.hs:14:15: error: • Couldn't match type ‘b’ with ‘a’ @@ -42,7 +42,7 @@ T10619.hs:14:15: error: else ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b) • Relevant bindings include - bar :: r -> (b -> b) -> b -> b (bound at T10619.hs:12:1) + bar :: t -> (b -> b) -> b -> b (bound at T10619.hs:12:1) T10619.hs:16:13: error: • Couldn't match type ‘forall a. a -> a’ with ‘b -> b’ |