summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail16.stderr
blob: c893ebae35bb9e395a23e15612266f465e8729de (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.12.0.0:Data.Bool]
    Instantiating p[ShouldFail=base-4.12.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:
    • ‘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]