Add kind equalities to GHC.
[ghc.git] / testsuite / tests / polykinds / T8616.stderr
1
2 T8616.hs:8:29: error:
3     • Expected a type, but ‘Any’ has kind ‘k’
4     • In an expression type signature: (Any :: k)
5       In the expression: undefined :: (Any :: k)
6       In an equation for ‘withSomeSing’:
7           withSomeSing = undefined :: (Any :: k)
8     • Relevant bindings include
9         withSomeSing :: Proxy kproxy (bound at T8616.hs:8:1)