diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T15807.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T15807.stderr | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15807.stderr b/testsuite/tests/typecheck/should_fail/T15807.stderr index 8589ec1268..178f1995d4 100644 --- a/testsuite/tests/typecheck/should_fail/T15807.stderr +++ b/testsuite/tests/typecheck/should_fail/T15807.stderr @@ -1,8 +1,10 @@ T15807.hs:12:3: error: - • Cannot generalise type; skolem ‘f’ would escape its scope + • Cannot generalise type; skolem + ‘(f :: k0 -> *)’ + would escape its scope if I tried to quantify (f0 :: f -> *) in this type: - forall f (a :: f). f a %1 -> App @f @f0 a + forall (f :: k0 -> *) (a :: k0). f a %1 -> App @f @f0 a (Indeed, I sometimes struggle even printing this correctly, due to its ill-scoped nature.) • In the definition of data constructor ‘MkApp’ |