Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T3468.stderr
1
2 T3468.hs-boot:3:1: error:
3     Type constructor ‘Tool’ has conflicting definitions in the module
4     and its hs-boot file
5     Main module: type role Tool phantom
6                  data Tool d where
7                    F :: a -> Tool d
8     Boot file:   data Tool
9     The types have different kinds