diff options
Diffstat (limited to 'testsuite/tests/polykinds/T22743.stderr')
-rw-r--r-- | testsuite/tests/polykinds/T22743.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T22743.stderr b/testsuite/tests/polykinds/T22743.stderr new file mode 100644 index 0000000000..cb097568e4 --- /dev/null +++ b/testsuite/tests/polykinds/T22743.stderr @@ -0,0 +1,7 @@ + +T22743.hs:10:1: error: [GHC-31147] + • Quantified type's kind mentions quantified type variable + type: ‘forall {f :: * -> RuntimeRep} {g} {a :: TYPE (f g)}. a’ + where the body of the forall has this kind: ‘TYPE (f g)’ + • When checking the inferred type + x :: forall {f :: * -> RuntimeRep} {g} {a :: TYPE (f g)}. a |