diff options
Diffstat (limited to 'testsuite/tests/roles/should_fail/T23252.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_fail/T23252.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_fail/T23252.stderr b/testsuite/tests/roles/should_fail/T23252.stderr new file mode 100644 index 0000000000..05ce387b6e --- /dev/null +++ b/testsuite/tests/roles/should_fail/T23252.stderr @@ -0,0 +1,14 @@ +T23252.hs:11:1: error: + • The kind of ‘T2’ is ill-scoped + Inferred kind: T2 :: forall (d :: k). + forall k (c :: k) (a :: Proxy c) (b :: Proxy d) -> + SimilarKind a b -> * + NB: Specified variables (namely: (d :: k)) always come first + Perhaps try this order instead: + k + (d :: k) + (c :: k) + (a :: Proxy c) + (b :: Proxy d) + (x :: SimilarKind a b) + • In the data type declaration for ‘T2’ |