Changeset View
Changeset View
Standalone View
Standalone View
testsuite/tests/backpack/should_fail/bkpfail07.stderr
| 1 | [1 of 3] Processing p | 1 | [1 of 3] Processing p | ||
|---|---|---|---|---|---|
| 2 | [1 of 1] Compiling H[sig] (.hsig -> nothing) | 2 | [1 of 1] Compiling H[sig] ( p/H.hsig, nothing ) | ||
| 3 | [2 of 3] Processing h | 3 | [2 of 3] Processing h | ||
| 4 | [1 of 3] Compiling T (.hs -> nothing) | 4 | [1 of 3] Compiling T ( h/T.hs, nothing ) | ||
| 5 | [2 of 3] Compiling H (.hs -> nothing) | 5 | [2 of 3] Compiling H ( h/H.hs, nothing ) | ||
| 6 | [3 of 3] Compiling A[sig] (.hsig -> nothing) | 6 | [3 of 3] Compiling A[sig] ( h/A.hsig, nothing ) | ||
| 7 | [3 of 3] Processing q | 7 | [3 of 3] Processing q | ||
| 8 | [1 of 1] Compiling A[sig] (.hsig -> nothing) | 8 | [1 of 1] Compiling A[sig] ( q/A.hsig, nothing ) | ||
| 9 | 9 | | |||
| 10 | bkpfail07.bkp:6:9: error: | 10 | bkpfail07.bkp:6:9: error: | ||
| 11 | • Type constructor ‘h[A=<A>]:T.T’ has conflicting definitions in the module | 11 | • Type constructor ‘h[A=<A>]:T.T’ has conflicting definitions in the module | ||
| 12 | and its hsig file | 12 | and its hsig file | ||
| 13 | Main module: data h[A=<A>]:T.T = h[A=<A>]:T.T GHC.Types.Bool | 13 | Main module: data h[A=<A>]:T.T = h[A=<A>]:T.T GHC.Types.Bool | ||
| 14 | Hsig file: data h[A=<A>]:T.T = h[A=<A>]:T.T GHC.Types.Int | 14 | Hsig file: data h[A=<A>]:T.T = h[A=<A>]:T.T GHC.Types.Int | ||
| 15 | The constructors do not match: The types for ‘h[A=<A>]:T.T’ differ | 15 | The constructors do not match: The types for ‘h[A=<A>]:T.T’ differ | ||
| 16 | • while checking that h[A=<A>]:H implements signature H in p[H=h[A=<A>]:H] | 16 | • while checking that h[A=<A>]:H implements signature H in p[H=h[A=<A>]:H] | ||