Commit b4c17472 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove unused argument

parent 79dae93f
......@@ -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]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment