summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_fail/T9204.stderr
blob: e5e99253fc155610b1d9b090d7bd2e5c2e3f7d61 (plain)
1
2
3
4
5
6
7
8
9

T9204.hs:6:1: error:
    Type constructor ‘D’ has conflicting definitions in the module
    and its hs-boot file
    Main module: type role D phantom
                 data D a
    Boot file:   {- abstract -} data D a
    The roles do not match.
    Roles on abstract types default to ‘representational’ in boot files.