Improvements/bugfixes to signature reexport handling.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail42.stderr
1 [1 of 2] Processing p
2   [1 of 1] Compiling A[sig]           ( p/A.hsig, nothing )
3 [2 of 2] Processing q
4   [1 of 1] Compiling A[sig]           ( q/A.hsig, nothing )
5
6 bkpfail42.bkp:9:9: error:
7     • Type constructor ‘F’ has conflicting definitions in the module
8       and its hsig file
9       Main module: type family F a :: *
10                      where [a] F a = Int
11       Hsig file:  type family F a :: *
12                     where [a] F a = Bool
13     • while merging the signatures from:
14         • p[A=<A>]:A
15         • ...and the local signature for A