testsuite: Assert that testsuite ways are known
[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 ‘T’ has conflicting definitions in the module
16       and its hsig file
17       Main module: type T :: *
18                    data T = T GHC.Types.Bool
19       Hsig file:  type T :: *
20                   data T = T GHC.Types.Int
21       The constructors do not match: The types for ‘T’ differ
22     • while checking that qimpl:H implements signature H in p[H=qimpl:H]