2fdf34928a84aebd511e154279ccbcfbb863125f
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail10.stderr
1 [1 of 3] Processing p
2   [1 of 1] Compiling H[sig]          (.hsig -> nothing)
3 [2 of 3] Processing q
4   Instantiating q
5   [1 of 1] Compiling H               (.hs -> .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]          (.hsig -> .o)
11
12 bkpfail10.bkp:8:9: error:
13     Type constructor ‘q:H.H’ has conflicting definitions in the module
14     and its hsig file
15     Main module: data q:H.H a = q:H.H a
16     Hsig file:  skolem q:H.H
17     The types have different kinds
18
19 bkpfail10.bkp:10:9: error:
20     Identifier ‘q:H.f’ has conflicting definitions in the module
21     and its hsig file
22     Main module: q:H.f :: q:H.H a -> q:H.H a
23     Hsig file:  q:H.f :: q:H.H -> q:H.H
24     The two types are different