Improve error recovery in the typechecker
[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’
16
17 T15743c.hs:11:1: error:
18     • The kind of ‘T2’ is ill-scoped
19         Inferred kind: T2 :: forall (d :: k).
20                              forall k (c :: k) (a :: Proxy c) (b :: Proxy d) ->
21                              SimilarKind a b -> *
22       NB: Specified variables (namely: (d :: k)) always come first
23       Perhaps try this order instead:
24         k
25         (d :: k)
26         (c :: k)
27         (a :: Proxy c)
28         (b :: Proxy d)
29         (x :: SimilarKind a b)
30     • In the data type declaration for ‘T2’