blob: 6228bfa9848fcd31734ded3376989bbaf4f1a930 (
plain)
1
2
3
4
5
6
7
8
9
|
[1 of 1] Compiling ShouldFail[sig of Prelude] ( tcfail220.hsig, nothing )
tcfail220.hsig:4:1: error:
Type constructor ‘Either’ has conflicting definitions in the module
and its hsig file
Main module: data Either a b = Left a | Data.Either.Right b
Hsig file: type role Either representational phantom phantom
data Either a b c = Left a
The types have different kinds
|
