Delete ghctags cabal file
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail10.stderr
1 [1 of 3] Processing p
2   [1 of 1] Compiling H[sig]           ( p/H.hsig, nothing )
3 [2 of 3] Processing q
4   Instantiating q
5   [1 of 1] Compiling H                ( q/H.hs, bkpfail10.out/q/H.o )
6 [3 of 3] Processing r
7   Instantiating r
8   [1 of 2] Including p[H=q:H]
9     Instantiating p[H=q:H]
10     [1 of 1] Compiling H[sig]           ( p/H.hsig, bkpfail10.out/p/p-D5Mg3foBSCrDbQDKH4WGSG/H.o )
11
12 bkpfail10.bkp:8:9: error:
13     • Type constructor ‘H’ has conflicting definitions in the module
14       and its hsig file
15       Main module: type H :: * -> *
16                    data H a = H a
17       Hsig file:  type H :: *
18                   data H
19       The types have different kinds
20     • while checking that q:H implements signature H in p[H=q:H]
21
22 bkpfail10.bkp:10:9: error:
23     • Identifier ‘f’ has conflicting definitions in the module
24       and its hsig file
25       Main module: f :: H a -> H a
26       Hsig file:  f :: H -> H
27       The two types are different
28     • while checking that q:H implements signature H in p[H=q:H]