summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail12.stderr
blob: ec023868bcf5d7e73d8c21d4f09c713f27943432 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
[1 of 3] Processing p
  [1 of 2] Compiling Q[sig]          (.hsig -> nothing)
  [2 of 2] Compiling P               (.hs -> nothing)
[2 of 3] Processing q
  Instantiating q
  [1 of 1] Compiling Q               (.hs -> .o)
[3 of 3] Processing r

bkpfail12.bkp:8:9: error:
    • Identifier ‘Q.f’ has conflicting definitions in the module
      and its hsig file
      Main module: Q.f :: GHC.Types.Bool
      Hsig file:  Q.f :: GHC.Types.Int
      The two types are different
    • while checking that Q implements signature Q in p[Q=Q]