summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail16.stderr
blob: 6196ab958a7eb2846c6c3485a22cdfbf8489ca04 (plain)
1
2
3
4
5
6
7
8
9
10
11
[1 of 2] Processing p
  [1 of 1] Compiling ShouldFail[sig]  ( p\ShouldFail.hsig, nothing )
[2 of 2] Processing q
  Instantiating q
  [1 of 1] Including p[ShouldFail=base-4.18.0.0:Data.Bool]
    Instantiating p[ShouldFail=base-4.18.0.0:Data.Bool]
    [1 of 1] Compiling ShouldFail[sig]  ( p\ShouldFail.hsig, bkpfail16.out\p\p-1OqLaT7dAn947wScQQKCw5\ShouldFail.o )

bkpfail16.out\p\p-1OqLaT7dAn947wScQQKCw5\..\ShouldFail.hi:1:1: error: [GHC-93011]
    • ‘Booly’ is exported by the hsig file, but not exported by the implementing module ‘Data.Bool’
    • While checking that ‘Data.Bool’ implements signature ‘ShouldFail’ in ‘p[ShouldFail=Data.Bool]’.