diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-12 22:36:19 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-17 16:47:28 -0800 |
| commit | 89168849a781626fc794ae97375da979ac83bf96 (patch) | |
| tree | 77853738762272af87275b56917fa465ba26331d /testsuite/tests/backpack/should_fail/bkpfail26.stderr | |
| parent | fd2d5b6de7493c2ff2ac76401ef296f575c52483 (diff) | |
| download | haskell-89168849a781626fc794ae97375da979ac83bf96.tar.gz | |
Say 'data' explicitly in IfAbstractTyCon output.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail26.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail26.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail26.stderr b/testsuite/tests/backpack/should_fail/bkpfail26.stderr index 583629f212..fa192c261a 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail26.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail26.stderr @@ -14,7 +14,7 @@ bkpfail26.bkp:15:9: error: ⢠Type constructor âTâ has conflicting definitions in the module and its hsig file Main module: type T a = [a] - Hsig file: skolem T a + Hsig file: {- skolem -} data T 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:H implements signature H in p[H=q:H] |