diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-20 12:56:40 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-20 14:28:34 +0100 |
| commit | 353d8ae6fafe117a1cac4adf6f029a5baccc2780 (patch) | |
| tree | 9a55b083e597b0d2d614639a54c85b0119384bd2 /testsuite/tests/polykinds/T8132.stderr | |
| parent | 7319b80a2cdffdfac8586946d0c7b0fdc8d77dae (diff) | |
| download | haskell-353d8ae6fafe117a1cac4adf6f029a5baccc2780.tar.gz | |
SCC analysis for instances as well as types/classes
This big patch is in pursuit of Trac #11348.
It is largely the work of Alex Veith (thank you!), with some
follow-up simplification and refactoring from Simon PJ.
The main payload is described in RnSource
Note [Dependency analysis of type, class, and instance decls]
which is pretty detailed.
* There is a new data type HsDecls.TyClGroup, for a strongly
connected component of type/class/instance/role decls.
The hs_instds field of HsGroup disappears, in consequence
This forces some knock-on changes, including a minor
haddock submodule update
Smaller, weakly-related things
* I found that both the renamer and typechecker were building an
identical env for RoleAnnots, so I put common code for
RoleAnnotEnv in RnEnv.
* I found that tcInstDecls1 had very clumsy error handling, so I
put it together into TcInstDcls.doClsInstErrorChecks
Diffstat (limited to 'testsuite/tests/polykinds/T8132.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T8132.stderr | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T8132.stderr b/testsuite/tests/polykinds/T8132.stderr index 4a1ca2b4f6..c5f56f9fbe 100644 --- a/testsuite/tests/polykinds/T8132.stderr +++ b/testsuite/tests/polykinds/T8132.stderr @@ -1,3 +1,4 @@ -T8132.hs:6:10: error: - Class ‘Typeable’ does not support user-specified instances +T8132.hs:6:1: error: + • Class ‘Typeable’ does not support user-specified instances + • In the instance declaration for ‘Typeable K’ |