base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail17.stderr
1 [1 of 2] Processing p
2   [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, nothing )
3 [2 of 2] Processing q
4   Instantiating q
5   [1 of 1] Including p[ShouldFail=base-4.13.0.0:Prelude]
6     Instantiating p[ShouldFail=base-4.13.0.0:Prelude]
7     [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, bkpfail17.out/p/p-2W6J7O3LvroH97zGxbPEGF/ShouldFail.o )
8
9 <no location info>: error:
10     • Type constructor ‘Either’ has conflicting definitions in the module
11       and its hsig file
12       Main module: data Either a b = Left a | Right b
13       Hsig file:  type role Either representational phantom phantom
14                   data Either a b c = Left a
15       The types have different kinds
16     • while checking that Prelude implements signature ShouldFail in p[ShouldFail=Prelude]