summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_fail/Roles12.stderr
blob: 99eb45fd96943326b1eb94234ba16e50b5ed5b09 (plain)
1
2
3
4
5
6
7
8
9
10
11

Roles12.hs:6:1: error: [GHC-15843]
    Type constructor ‘T’ has conflicting definitions in the module
    and its hs-boot file.
    Main module: type role T phantom
                 type T :: * -> *
                 data T a
      Boot file: type T :: * -> *
                 data T a
    The roles do not match.
    NB: roles on abstract types default to ‘representational’ in hs-boot files.