bkpfail16.stderr 641 Bytes
Newer Older
Edward Z. Yang's avatar
Edward Z. Yang committed
1
[1 of 2] Processing p
2
  [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, nothing )
Edward Z. Yang's avatar
Edward Z. Yang committed
3 4
[2 of 2] Processing q
  Instantiating q
Ryan Scott's avatar
Ryan Scott committed
5 6
  [1 of 1] Including p[ShouldFail=base-4.12.0.0:Data.Bool]
    Instantiating p[ShouldFail=base-4.12.0.0:Data.Bool]
7
    [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, bkpfail16.out/p/p-1OqLaT7dAn947wScQQKCw5/ShouldFail.o )
Edward Z. Yang's avatar
Edward Z. Yang committed
8 9

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