# Changeset View

Changeset View

# Standalone View

Standalone View

# testsuite/tests/backpack/should_fail/bkpfail17.stderr

1 | [1 of 2] Processing p | 1 | [1 of 2] Processing p | ||
---|---|---|---|---|---|

2 | [1 of 1] Compiling ShouldFail[sig] (.hsig -> nothing) | 2 | [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, nothing ) | ||

3 | [2 of 2] Processing q | 3 | [2 of 2] Processing q | ||

4 | Instantiating q | 4 | Instantiating q | ||

5 | [1 of 1] Including p[ShouldFail=base-4.9.0.0:Prelude] | 5 | [1 of 1] Including p[ShouldFail=base-4.9.0.0:Prelude] | ||

6 | Instantiating p[ShouldFail=base-4.9.0.0:Prelude] | 6 | Instantiating p[ShouldFail=base-4.9.0.0:Prelude] | ||

7 | [1 of 1] Compiling ShouldFail[sig] (.hsig -> .o) | 7 | [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail17.out/p/p-2W6J7O3LvroH97zGxbPEGF/ShouldFail.o ) | ||

8 | 8 | | |||

9 | <no location info>: error: | 9 | <no location info>: error: | ||

10 | Type constructor ‘Data.Either.Either’ has conflicting definitions in the module | 10 | Type constructor ‘Data.Either.Either’ has conflicting definitions in the module | ||

11 | and its hsig file | 11 | and its hsig file | ||

12 | Main module: data Data.Either.Either a b | 12 | Main module: data Data.Either.Either a b | ||

13 | = Data.Either.Left a | Data.Either.Right b | 13 | = Data.Either.Left a | Data.Either.Right b | ||

14 | Hsig file: type role Data.Either.Either representational phantom phantom | 14 | Hsig file: type role Data.Either.Either representational phantom phantom | ||

15 | data Data.Either.Either a b c = Data.Either.Left a | 15 | data Data.Either.Either a b c = Data.Either.Left a | ||

16 | The types have different kinds | 16 | The types have different kinds |