diff options
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail23.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail23.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail23.stderr b/testsuite/tests/backpack/should_fail/bkpfail23.stderr index de4026ad6a..00a19e2001 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail23.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail23.stderr @@ -15,7 +15,7 @@ bkpfail23.bkp:14:9: error: and its hsig file Main module: type F a = () Hsig file: type role F phantom - {- skolem -} data F a + data F a Illegal parameterized type synonym in implementation of abstract data. (Try eta reducing your type synonym so that it is nullary.) • while checking that h:H implements signature H in p[H=h:H] |