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 /compiler/parser | |
| 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 'compiler/parser')
| -rw-r--r-- | compiler/parser/RdrHsSyn.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/parser/RdrHsSyn.hs b/compiler/parser/RdrHsSyn.hs index 8aeeb9d7ed..28ee4f07a0 100644 --- a/compiler/parser/RdrHsSyn.hs +++ b/compiler/parser/RdrHsSyn.hs @@ -118,7 +118,7 @@ import Data.Data ( dataTypeOf, fromConstr, dataTypeConstrs ) -- Similarly for mkConDecl, mkClassOpSig and default-method names. --- *** See "THE NAMING STORY" in HsDecls **** +-- *** See Note [The Naming story] in HsDecls **** mkTyClD :: LTyClDecl n -> LHsDecl n mkTyClD (L loc d) = L loc (TyClD d) |