Make equality print better. (#11712)
[ghc.git] / testsuite / tests / dependent / should_fail / T11334.stderr
1
2 T11334.hs:8:14: error:
3     • Cannot default kind variable ‘f0’
4       of kind: k0 -> *
5       Perhaps enable PolyKinds or add a kind signature
6     • In an expression type signature: Proxy Compose
7       In the expression: Proxy :: Proxy Compose
8       In an equation for ‘p’: p = Proxy :: Proxy Compose
9
10 T11334.hs:8:14: error:
11     • Cannot default kind variable ‘g0’
12       of kind: k10 -> k0
13       Perhaps enable PolyKinds or add a kind signature
14     • In an expression type signature: Proxy Compose
15       In the expression: Proxy :: Proxy Compose
16       In an equation for ‘p’: p = Proxy :: Proxy Compose
17
18 T11334.hs:8:14: error:
19     • Cannot default kind variable ‘a0’
20       of kind: k10
21       Perhaps enable PolyKinds or add a kind signature
22     • In an expression type signature: Proxy Compose
23       In the expression: Proxy :: Proxy Compose
24       In an equation for ‘p’: p = Proxy :: Proxy Compose