blob: 1f8bdcb11b2332bbdc195b9d4e780517760c576a (
plain)
1
2
3
4
5
6
7
8
9
|
T3468.hs-boot:3:1: error:
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
The types have different kinds
|