summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T3468.stderr
blob: 77a55c34d7318e60d281306ed68493cd4fc3b14d (plain)
1
2
3
4
5
6
7
8
9
10

T3468.hs-boot:3:1: error: [GHC-15843]
    Type constructor ‘Tool’ has conflicting definitions in the module
    and its hs-boot file.
    Main module: type role Tool phantom
                 type Tool :: * -> *
                 data Tool d = forall a r. F a
      Boot file: type Tool :: *
                 data Tool
    The types have different kinds.