8e3ad5077f66303dfc8c10eae0c8aea7bd1a25d6
[ghc.git] / testsuite / tests / dependent / should_fail / T15743c.stderr
1
2 T15743c.hs:10:1: error:
3     • The kind of ‘T’ is ill-scoped
4         Inferred kind: T :: forall (d :: k).
5                             forall k (c :: k) (a :: Proxy c) (b :: Proxy d) ->
6                             SimilarKind a b -> *
7       NB: Inferred variables (namely: (d :: k)) always come first
8       Perhaps try this order instead:
9         k
10         (d :: k)
11         (c :: k)
12         (a :: Proxy c)
13         (b :: Proxy d)
14         (x :: SimilarKind a b)
15     • In the data type declaration for ‘T’