[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