blob: 5b187eb1863206b2afb804ebbc24a9424bdfbc93 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
[1 of 3] Processing sig
[1 of 1] Compiling Sig[sig] ( sig\Sig.hsig, nothing )
[2 of 3] Processing impl
Instantiating impl
[1 of 1] Compiling Impl ( impl\Impl.hs, RepPolyBackpack3.out\impl\Impl.o )
[3 of 3] Processing main
Instantiating main
[1 of 1] Including sig[Sig=impl:Impl]
Instantiating sig[Sig=impl:Impl]
[1 of 1] Compiling Sig[sig] ( sig\Sig.hsig, RepPolyBackpack3.out\sig\sig-Absk5cIXTXe6UYhGMYGber\Sig.o )
RepPolyBackpack3.bkp:17:5: error:
• Type constructor ‘Rep’ has conflicting definitions in the module
and its hsig file
Main module: type Rep :: GHC.Types.RuntimeRep
type Rep = T :: GHC.Types.RuntimeRep
Hsig file: type Rep :: GHC.Types.RuntimeRep
data Rep
Illegal type family application in implementation of abstract data.
• while checking that impl:Impl implements signature Sig in sig[Sig=impl:Impl]
|
