diff options
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail45.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail45.stderr | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail45.stderr b/testsuite/tests/backpack/should_fail/bkpfail45.stderr index e2b4236aab..5049f5f4b3 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail45.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail45.stderr @@ -1,24 +1,23 @@ [1 of 3] Processing p - [1 of 2] Compiling A[sig] ( p/A.hsig, nothing ) - [2 of 2] Compiling B ( p/B.hs, nothing ) + [1 of 2] Compiling A[sig] ( p\A.hsig, nothing ) + [2 of 2] Compiling B ( p\B.hs, nothing ) [2 of 3] Processing a Instantiating a - [1 of 1] Compiling A ( a/A.hs, bkpfail45.out/a/A.o ) + [1 of 1] Compiling A ( a\A.hs, bkpfail45.out\a\A.o ) [3 of 3] Processing q Instantiating q [1 of 1] Including p[A=a:A] Instantiating p[A=a:A] - [1 of 2] Compiling A[sig] ( p/A.hsig, bkpfail45.out/p/p-KvF5Y9pEVY39j64PHPNj9i/A.o ) + [1 of 2] Compiling A[sig] ( p\A.hsig, bkpfail45.out\p\p-KvF5Y9pEVY39j64PHPNj9i\A.o ) -bkpfail45.bkp:14:9: error: +bkpfail45.bkp:14:9: error: [GHC-15843] • Type constructor ‘T’ has conflicting definitions in the module - and its hsig file + and its hsig file. Main module: type role T phantom type T :: * -> * data T a = T - Hsig file: type role T nominal - type T :: * -> * - data T a = T + Hsig file: type role T nominal + type T :: * -> * + data T a = T The roles do not match. - Roles on abstract types default to ‘representational’ in boot files. - • while checking that a:A implements signature A in p[A=a:A] + • While checking that ‘a:A’ implements signature ‘A’ in ‘p[A=a:A]’. |