diff options
Diffstat (limited to 'testsuite/tests/polykinds/T15795a.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T15795a.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T15795a.stderr b/testsuite/tests/polykinds/T15795a.stderr index f4757137ce..00fa09ac82 100644 --- a/testsuite/tests/polykinds/T15795a.stderr +++ b/testsuite/tests/polykinds/T15795a.stderr @@ -1,5 +1,5 @@ -T15795a.hs:9:3: error: +T15795a.hs:9:3: error: [GHC-71451] • Cannot generalise type; skolem ‘u’ would escape its scope if I tried to quantify (cat10 :: u) in this type: forall u (a :: u). F @u @cat10 a |