diff options
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail46.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail46.stderr | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail46.stderr b/testsuite/tests/backpack/should_fail/bkpfail46.stderr index 9aeaccbb7e..908866f67c 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail46.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail46.stderr @@ -13,8 +13,10 @@ bkpfail46.bkp:15:9: error: ⢠Type constructor âKâ has conflicting definitions in the module and its hsig file - Main module: type K a = GHC.Classes.Eq a :: Constraint - Hsig file: class K a + Main module: type K :: * -> Constraint + type K a = GHC.Classes.Eq a :: Constraint + Hsig file: type K :: * -> Constraint + class K a Illegal parameterized type synonym in implementation of abstract data. (Try eta reducing your type synonym so that it is nullary.) ⢠while checking that q:A implements signature A in p[A=q:A] |