blob: ec3bff418214a1ce299cf13866feac1fd52aae65 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
Roles12.hs:5:1: error:
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.
Roles on abstract types default to ‘representational’ in boot files.
|
