blob: b4d7499fe94ff5e52cd529ebd3eccc3626327233 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
Roles12.hs:6: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.
|