Fold base.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7609.stderr
1 \r
2 T7609.hs:7:16:\r
3     Expecting one more argument to ‘Maybe’\r
4     The second argument of a tuple should have kind ‘*’,\r
5       but ‘Maybe’ has kind ‘* -> *’\r
6     In the type signature for ‘f’: f :: (a `X` a, Maybe)\r
7 \r
8 T7609.hs:10:7:\r
9     Expected a constraint, but ‘a `X` a’ has kind ‘*’\r
10     In the type signature for ‘g’: g :: a `X` a => Maybe\r