testsuite/tests/typecheck/should_fail/T3468.stderr


1
2
3
4
5
6
7
8


T3468.hs-boot:3:1:
    Type constructor ‛Tool’ has conflicting definitions in the module
    and its hs-boot file
    Main module: type role Tool phantom
                 data Tool d where
                   F :: a -> Tool d
    Boot file:   data Tool