Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T12035.hs
1 module T12035 where
2 import T12035a
3 type T = Bool
4 y = f True
5
6 -- This should error that 'type T = Int' doesn't match 'data T',
7 -- NOT that f expects argument of type T but got Bool.
8 --
9 -- NB: This test will start passing if we allow abstract data
10 -- types to be implemented using type synonyms.