Add kind equalities to GHC.
[ghc.git] / testsuite / tests / dependent / should_fail / DepFail1.stderr
1
2 DepFail1.hs:7:6: error:
3     • Expecting one more argument to ‘Proxy Bool’
4       Expected a type, but ‘Proxy Bool’ has kind ‘Bool -> *’
5     • In the type signature:
6         z :: Proxy Bool
7
8 DepFail1.hs:10:16: error:
9     • Expected kind ‘Int’, but ‘Bool’ has kind ‘*’
10     • In the second argument of ‘Proxy’, namely ‘Bool’
11       In the type signature:
12         a :: Proxy Int Bool