From 90686adf9d3dc7a09a51853df051bc4ea472d840 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Wed, 10 Feb 2010 09:45:37 +0000 Subject: [PATCH] Comments only --- compiler/specialise/SpecConstr.lhs | 2 +- compiler/typecheck/TcRnTypes.lhs | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/compiler/specialise/SpecConstr.lhs b/compiler/specialise/SpecConstr.lhs index e2eda2b..b839412 100644 --- a/compiler/specialise/SpecConstr.lhs +++ b/compiler/specialise/SpecConstr.lhs @@ -1272,7 +1272,7 @@ calcSpecStrictness fn qvars pats Note [Specialise original body] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -The RhsInfo for a binding keeps the *oringal* body of the binding. We +The RhsInfo for a binding keeps the *original* body of the binding. We must specialise that, *not* the result of applying specExpr to the RHS (which is also kept in RhsInfo). Otherwise we end up specialising a specialised RHS, and that can lead directly to exponential behaviour. diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs index a91e95e..746a30b 100644 --- a/compiler/typecheck/TcRnTypes.lhs +++ b/compiler/typecheck/TcRnTypes.lhs @@ -233,7 +233,11 @@ data TcGblEnv tcg_rn_imports :: [LImportDecl Name], -- Keep the renamed imports regardless. They are not -- voluminous and are needed if you want to report unused imports + tcg_used_rdrnames :: TcRef (Set RdrName), + -- The set of used *imported* (not locally-defined) RdrNames + -- Used only to report unused import declarations + tcg_rn_decls :: Maybe (HsGroup Name), -- ^ Renamed decls, maybe. @Nothing@ <=> Don't retain renamed -- decls. -- 1.7.10.4