The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail06.stderr
1 [1 of 3] Processing p
2   [1 of 2] Compiling H[sig]           ( p/H.hsig, nothing )
3   [2 of 2] Compiling A                ( p/A.hs, nothing )
4 [2 of 3] Processing qimpl
5   Instantiating qimpl
6   [1 of 2] Compiling T                ( qimpl/T.hs, bkpfail06.out/qimpl/T.o )
7   [2 of 2] Compiling H                ( qimpl/H.hs, bkpfail06.out/qimpl/H.o )
8 [3 of 3] Processing q
9   Instantiating q
10   [1 of 1] Including p[H=qimpl:H]
11     Instantiating p[H=qimpl:H]
12     [1 of 2] Compiling H[sig]           ( p/H.hsig, bkpfail06.out/p/p-IueY0RdHDM2I4k0mLZuqM0/H.o )
13
14 bkpfail06.bkp:10:9: error:
15     Type constructor ‘qimpl:T.T’ has conflicting definitions in the module
16     and its hsig file
17     Main module: data qimpl:T.T = qimpl:T.T GHC.Types.Bool
18     Hsig file:  data qimpl:T.T = qimpl:T.T GHC.Types.Int
19     The constructors do not match: The types for ‘qimpl:T.T’ differ