ec023868bcf5d7e73d8c21d4f09c713f27943432
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail12.stderr
1 [1 of 3] Processing p
2   [1 of 2] Compiling Q[sig]          (.hsig -> nothing)
3   [2 of 2] Compiling P               (.hs -> nothing)
4 [2 of 3] Processing q
5   Instantiating q
6   [1 of 1] Compiling Q               (.hs -> .o)
7 [3 of 3] Processing r
8
9 bkpfail12.bkp:8:9: error:
10     • Identifier ‘Q.f’ has conflicting definitions in the module
11       and its hsig file
12       Main module: Q.f :: GHC.Types.Bool
13       Hsig file:  Q.f :: GHC.Types.Int
14       The two types are different
15     • while checking that Q implements signature Q in p[Q=Q]