[commit: ghc] master: Remove unused argument (b4c1747)

Simon Peyton Jones simonpj at microsoft.com
Tue Jan 29 13:50:24 CET 2013


Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/b4c174724786287f3a1ced686b191492e2cf41bd

>---------------------------------------------------------------

commit b4c174724786287f3a1ced686b191492e2cf41bd
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Jan 25 12:52:29 2013 +0000

    Remove unused argument

>---------------------------------------------------------------

 compiler/rename/RnSource.lhs |   16 +++++-----------
 1 files changed, 5 insertions(+), 11 deletions(-)

diff --git a/compiler/rename/RnSource.lhs b/compiler/rename/RnSource.lhs
index 54cd9a2..81344fe 100644
--- a/compiler/rename/RnSource.lhs
+++ b/compiler/rename/RnSource.lhs
@@ -578,15 +578,10 @@ Renaming of the associated types in instances.
 \begin{code}
 -- rename associated type family decl in class
 rnATDecls :: Name      -- Class
-          -> LHsTyVarBndrs Name
           -> [LFamilyDecl RdrName] 
           -> RnM ([LFamilyDecl Name], FreeVars)
-rnATDecls cls hs_tvs at_decls
-  = rnList (rnFamDecl (Just (cls, tv_ns))) at_decls
-  where
-    tv_ns = hsLTyVarNames hs_tvs
-    -- Type variable binders (but NOT kind variables)
-    -- See Note [Renaming associated types] in RnTypes
+rnATDecls cls at_decls
+  = rnList (rnFamDecl (Just cls)) at_decls
 
 rnATInstDecls :: (Maybe (Name, [Name]) ->    -- The function that renames
                   decl RdrName ->            -- an instance. rnTyFamInstDecl
@@ -950,7 +945,7 @@ rnTyClDecl (ClassDecl {tcdCtxt = context, tcdLName = lcls,
              { (context', cxt_fvs) <- rnContext cls_doc context
              ; fds'  <- rnFds (docOfHsDocContext cls_doc) fds
                          -- The fundeps have no free variables
-             ; (ats',     fv_ats)     <- rnATDecls cls' tyvars' ats
+             ; (ats',     fv_ats)     <- rnATDecls cls' ats
              ; (at_defs', fv_at_defs) <- rnATInstDecls rnTyFamInstDecl cls' tyvars' at_defs
              ; (sigs', sig_fvs) <- renameSigs (ClsDeclCtxt cls') sigs
              ; let fvs = cxt_fvs     `plusFV`
@@ -1045,8 +1040,8 @@ badGadtStupidTheta _
   = vcat [ptext (sLit "No context is allowed on a GADT-style data declaration"),
           ptext (sLit "(You can put a context on each contructor, though.)")]
 
-rnFamDecl :: Maybe (Name, [Name])
-                    -- Just (cls,tvs) => this FamilyDecl is nested 
+rnFamDecl :: Maybe Name
+                    -- Just cls => this FamilyDecl is nested 
                     --             inside an *class decl* for cls
                     --             used for associated types
           -> FamilyDecl RdrName
@@ -1062,7 +1057,6 @@ rnFamDecl mb_cls (FamilyDecl { fdLName = tycon, fdTyVars = tyvars
   where 
      fmly_doc = TyFamilyCtx tycon
      kvs = extractRdrKindSigVars kind
-
 \end{code}
 
 Note [Stupid theta]





More information about the ghc-commits mailing list