diff options
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail26.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail26.stderr | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail26.stderr b/testsuite/tests/backpack/should_fail/bkpfail26.stderr index 3de59a22c7..09410cedfe 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail26.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail26.stderr @@ -13,8 +13,10 @@ bkpfail26.bkp:15:9: error: ⢠Type constructor âTâ has conflicting definitions in the module and its hsig file - Main module: type T a = [a] + Main module: type T :: * -> * + type T a = [a] Hsig file: type role T nominal + type T :: * -> * data T a Illegal parameterized type synonym in implementation of abstract data. (Try eta reducing your type synonym so that it is nullary.) |