The Backpack patch.
[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 â€˜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:  abstract 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