diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-25 15:48:37 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-25 15:49:39 +0100 |
| commit | 9a348640c5ddd63c3385d3722fb3ade38013a148 (patch) | |
| tree | 3ef2406dcec0d237380b2e278a69cbfefded8375 /testsuite/tests/deriving/should_fail/T9071.stderr | |
| parent | 4d1316a56cb2e763ef6b47f95e529ae799b4c5ff (diff) | |
| download | haskell-9a348640c5ddd63c3385d3722fb3ade38013a148.tar.gz | |
Improve kind-checking for 'deriving' clauses
The main payload is in 'mk_functor_like_constraints' in
TcDeriv.inferConstraints.
This is moving towards a fix for Trac #10561
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T9071.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T9071.stderr | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/testsuite/tests/deriving/should_fail/T9071.stderr b/testsuite/tests/deriving/should_fail/T9071.stderr index 3a09c8ecd5..c2dccbd28f 100644 --- a/testsuite/tests/deriving/should_fail/T9071.stderr +++ b/testsuite/tests/deriving/should_fail/T9071.stderr @@ -1,10 +1,7 @@ [1 of 2] Compiling T9071a ( T9071a.hs, T9071a.o ) [2 of 2] Compiling T9071 ( T9071.hs, T9071.o ) -T9071.hs:7:37: - No instance for (Functor Mu) +T9071.hs:7:37: error: + Couldn't match kind ‘* -> *’ with ‘*’ arising from the first field of ‘F’ (type ‘Mu (K a)’) - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself When deriving the instance for (Functor F) |