diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T16946.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T16946.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T16946.stderr b/testsuite/tests/typecheck/should_fail/T16946.stderr index a923fe778e..c26e4fb339 100644 --- a/testsuite/tests/typecheck/should_fail/T16946.stderr +++ b/testsuite/tests/typecheck/should_fail/T16946.stderr @@ -1,5 +1,5 @@ -T16946.hs:11:9: error: +T16946.hs:11:9: error: [GHC-71451] ⢠Cannot generalise type; skolem âkâ would escape its scope if I tried to quantify (y0 :: k) in this type: forall k (c :: k -> k -> *) |