diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T17139.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T17139.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T17139.stderr b/testsuite/tests/typecheck/should_fail/T17139.stderr index d89b166fdc..f8ab95f5f8 100644 --- a/testsuite/tests/typecheck/should_fail/T17139.stderr +++ b/testsuite/tests/typecheck/should_fail/T17139.stderr @@ -1,5 +1,5 @@ -T17139.hs:15:16: error: +T17139.hs:15:16: error: [GHC-88464] • Found hole: _ :: (a -> b0) -> f a -> TypeFam f b0 Where: ‘b0’ is an ambiguous type variable ‘a’, ‘f’ are rigid type variables bound by @@ -15,7 +15,7 @@ T17139.hs:15:16: error: f :: a -> b (bound at T17139.hs:15:6) lift :: (a -> b) -> TypeFam f (a -> b) (bound at T17139.hs:15:1) -T17139.hs:15:19: error: +T17139.hs:15:19: error: [GHC-25897] • Couldn't match type ‘b’ with ‘a -> b0’ Expected: a -> a -> b0 Actual: a -> b |