Fold template-haskell.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368.stderr
1
2 T7368.hs:3:10:
3     Kind incompatibility when matching types:
4       c0 :: (* -> *) -> *
5       (->) a0 :: * -> *
6     Expected type: a0 -> b0
7       Actual type: c0 Maybe
8     In the first argument of â€˜b’, namely â€˜(l Nothing)’
9     In the expression: b (l Nothing)