bkpfail17.stderr 788 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:Prelude]
    Instantiating p[ShouldFail=base-4.12.0.0:Prelude]
7
    [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, bkpfail17.out/p/p-2W6J7O3LvroH97zGxbPEGF/ShouldFail.o )
Edward Z. Yang's avatar
Edward Z. Yang committed
8 9

<no location info>: error:
10 11 12 13 14 15 16
    • Type constructor ‘Either’ has conflicting definitions in the module
      and its hsig file
      Main module: data Either a b = Left a | Right b
      Hsig file:  type role Either representational phantom phantom
                  data Either a b c = Left a
      The types have different kinds
    • while checking that Prelude implements signature ShouldFail in p[ShouldFail=Prelude]