diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-07 15:02:40 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-12 19:14:52 -0800 |
| commit | 8e9ad240a9345527fc0635b89cc39b4d73b08e03 (patch) | |
| tree | 0b59844d22acec6cc17ae2cd1a462dfc0c4071c6 /testsuite/tests/backpack/should_fail/bkpfail23.stderr | |
| parent | a4ccd330273ccfd136481ee82ae9495f5dd5f146 (diff) | |
| download | haskell-8e9ad240a9345527fc0635b89cc39b4d73b08e03.tar.gz | |
Setup more error context for Backpack operations.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate
Reviewers: bgamari, simonpj, austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3101
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail23.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail23.stderr | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail23.stderr b/testsuite/tests/backpack/should_fail/bkpfail23.stderr index 6681e24472..54dddc01d1 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail23.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail23.stderr @@ -11,10 +11,11 @@ [1 of 2] Compiling H[sig] ( p/H.hsig, bkpfail23.out/p/p-6KeuBvYi0jvLWqVbkSAZMq/H.o ) bkpfail23.bkp:14:9: error: - Type constructor ‘F’ has conflicting definitions in the module - and its hsig file - Main module: type F a = () - Hsig file: type role F phantom - skolem F a - Illegal parameterized type synonym in implementation of abstract data. - (Try eta reducing your type synonym so that it is nullary.) + • Type constructor ‘F’ has conflicting definitions in the module + and its hsig file + Main module: type F a = () + Hsig file: type role F phantom + skolem 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] |