diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-09-02 22:03:53 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-09-02 22:03:53 +0200 |
| commit | 6dea7c161e458ddb3ea4afd366887c8d963c6585 (patch) | |
| tree | 6bfdf85a9c641cdbb94850a0049c288fb2d22232 /testsuite/tests/polykinds | |
| parent | 565ef4cc036905f9f9801c1e775236bb007b026c (diff) | |
| download | haskell-6dea7c161e458ddb3ea4afd366887c8d963c6585.tar.gz | |
Reject class instances with type families in kinds
Summary:
GHC doesn't know how to handle type families that appear in
class instances. Unfortunately, GHC didn't reject instances where
type families appear in //kinds//, leading to #15515. This is easily
rectified by calling `checkValidTypePat` on all arguments to a class
in an instance (and not just the type arguments).
Test Plan: make test TEST=T15515
Reviewers: bgamari, goldfire, simonpj
Reviewed By: simonpj
Subscribers: simonpj, rwbarton, carter
GHC Trac Issues: #15515
Differential Revision: https://phabricator.haskell.org/D5068
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T11520.stderr | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T11520.stderr b/testsuite/tests/polykinds/T11520.stderr index 75147e6a00..93078aa23c 100644 --- a/testsuite/tests/polykinds/T11520.stderr +++ b/testsuite/tests/polykinds/T11520.stderr @@ -1,6 +1,8 @@ T11520.hs:15:57: error: - • Illegal type synonym family application in instance: Compose f g + • Illegal type synonym family application ‘Any’ in instance: + Typeable (Compose f g) + Use -fprint-explicit-kinds to see the kind arguments • In the instance declaration for ‘Typeable (Compose f g)’ T11520.hs:15:77: error: |