diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T20189.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T20189.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T20189.stderr b/testsuite/tests/typecheck/should_fail/T20189.stderr index 077f57d6d5..e1dd352506 100644 --- a/testsuite/tests/typecheck/should_fail/T20189.stderr +++ b/testsuite/tests/typecheck/should_fail/T20189.stderr @@ -1,12 +1,12 @@ -T20189.hs:6:5: error: [GHC-88464] +T20189.hs:7:5: error: [GHC-88464] • Found hole: _ :: t Where: ‘t’ is a rigid type variable bound by the type signature for: y :: forall t. (t ~ (forall x. Show x => x -> IO ())) => t - at T20189.hs:5:1-49 + at T20189.hs:6:1-49 • In an equation for ‘y’: y = _ - • Relevant bindings include y :: t (bound at T20189.hs:6:1) + • Relevant bindings include y :: t (bound at T20189.hs:7:1) Constraints include - t ~ (forall x. Show x => x -> IO ()) (from T20189.hs:5:1-49) - Valid hole fits include y :: t (bound at T20189.hs:6:1) + t ~ (forall x. Show x => x -> IO ()) (from T20189.hs:6:1-49) + Valid hole fits include y :: t (bound at T20189.hs:7:1) |