-%
-% (c) The GRASP/AQUA Project, Glasgow University, 1992-1996
-%
-\section[RnPass4]{Fourth of the renaming passes}
-
-\begin{code}
-#include "HsVersions.h"
-
-module RnPass4 ( rnModule, rnPolyType, rnGenPragmas ) where
-
-import Ubiq{-uitous-}
-import RnLoop -- *check* the RnPass4/RnExpr4/RnBinds4 loop-breaking
-
-import HsSyn
-import RdrHsSyn
-import RnHsSyn
-import HsPragmas -- all of it
-import HsCore -- all of it
-import RnMonad4
-
-import Class ( derivableClassKeys )
-import Maybes ( maybeToBool, catMaybes )
-import Name ( Name(..) )
-import Outputable ( Outputable(..), isAvarid )
-import Pretty ( ppHang, ppStr, ppCat, ppAboves )
-import ProtoName ( eqProtoName, elemProtoNames, ProtoName{-instance-} )
-import RnBinds4 ( rnTopBinds, rnMethodBinds )
-import SrcLoc ( SrcLoc{-instance-} )
-import Unique ( Unique{-instances-} )
-import UniqSet ( UniqSet(..) )
-import Util ( isIn, panic, assertPanic )
-\end{code}
-
-This pass `renames' the module+imported info, simultaneously
-performing dependency analysis. It also does the following error
-checks:
-\begin{enumerate}
-\item
-Checks that tyvars are used properly. This includes checking
-for undefined tyvars, and tyvars in contexts that are ambiguous.
-\item
-Checks that local variables are defined.
-\end{enumerate}
-
-\begin{code}
-rnModule :: ProtoNameHsModule -> Rn4M RenamedHsModule
-
-rnModule (HsModule mod_name exports _ fixes ty_decls specdata_sigs
- class_decls inst_decls specinst_sigs defaults
- binds int_sigs src_loc)
-
- = pushSrcLocRn4 src_loc (
-
- mapRn4 rnTyDecl ty_decls `thenRn4` \ new_ty_decls ->
- mapRn4 rnSpecDataSig specdata_sigs `thenRn4` \ new_specdata_sigs ->
- mapRn4 rnClassDecl class_decls `thenRn4` \ new_class_decls ->
- mapRn4 rnInstDecl inst_decls `thenRn4` \ new_inst_decls ->
- mapRn4 rnSpecInstSig specinst_sigs `thenRn4` \ new_specinst_sigs ->
- rnDefaultDecl defaults `thenRn4` \ new_defaults ->
- rnTopBinds binds `thenRn4` \ new_binds ->
- mapRn4 rnIntSig int_sigs `thenRn4` \ new_int_sigs ->
- rnFixes fixes `thenRn4` \ new_fixes ->
- rnExports exports `thenRn4` \ new_exports ->
-
- returnRn4 (HsModule mod_name
- new_exports [{-imports finally clobbered-}] new_fixes
- new_ty_decls new_specdata_sigs new_class_decls
- new_inst_decls new_specinst_sigs new_defaults
- new_binds new_int_sigs src_loc)
- )
-
-rnExports Nothing = returnRn4 Nothing
-rnExports (Just exp_list)
- = returnRn4 (Just (_trace "rnExports:trashing exports" []))
-\end{code}
-
-%*********************************************************
-%* *
-\subsection{Type declarations}
-%* *
-%*********************************************************
-
-@rnTyDecl@ uses the `global name function' to create a new type
-declaration in which local names have been replaced by their original
-names, reporting any unknown names.
-
-Renaming type variables is a pain. Because they now contain uniques,
-it is necessary to pass in an association list which maps a parsed
-tyvar to its Name representation. In some cases (type signatures of
-values), it is even necessary to go over the type first in order to
-get the set of tyvars used by it, make an assoc list, and then go over
-it again to rename the tyvars! However, we can also do some scoping
-checks at the same time.
-
-\begin{code}
-rnTyDecl :: ProtoNameTyDecl -> Rn4M RenamedTyDecl
-
-rnTyDecl (TyData context tycon tyvars condecls derivings pragmas src_loc)
- = pushSrcLocRn4 src_loc (
- lookupTyCon tycon `thenRn4` \ tycon' ->
- mkTyVarNamesEnv src_loc tyvars `thenRn4` \ (tv_env, tyvars') ->
- rnContext tv_env context `thenRn4` \ context' ->
- rnConDecls tv_env False condecls `thenRn4` \ condecls' ->
- rn_derivs tycon' src_loc derivings `thenRn4` \ derivings' ->
- recoverQuietlyRn4 (DataPragmas [] []) (
- rnDataPragmas tv_env pragmas
- ) `thenRn4` \ pragmas' ->
- returnRn4 (TyData context' tycon' tyvars' condecls' derivings' pragmas' src_loc)
- )
-
-rnTyDecl (TyNew context tycon tyvars condecl derivings pragmas src_loc)
- = pushSrcLocRn4 src_loc (
- lookupTyCon tycon `thenRn4` \ tycon' ->
- mkTyVarNamesEnv src_loc tyvars `thenRn4` \ (tv_env, tyvars') ->
- rnContext tv_env context `thenRn4` \ context' ->
- rnConDecls tv_env False condecl `thenRn4` \ condecl' ->
- rn_derivs tycon' src_loc derivings `thenRn4` \ derivings' ->
- recoverQuietlyRn4 (DataPragmas [] []) (
- rnDataPragmas tv_env pragmas
- ) `thenRn4` \ pragmas' ->
- returnRn4 (TyNew context' tycon' tyvars' condecl' derivings' pragmas' src_loc)
- )
-
-rnTyDecl (TySynonym name tyvars ty src_loc)
- = pushSrcLocRn4 src_loc (
- lookupTyCon name `thenRn4` \ name' ->
- mkTyVarNamesEnv src_loc tyvars `thenRn4` \ (tv_env, tyvars') ->
- rnMonoType False{-no invisible types-} tv_env ty
- `thenRn4` \ ty' ->
- returnRn4 (TySynonym name' tyvars' ty' src_loc)
- )
-
-rn_derivs tycon2 locn Nothing -- derivs not specified
- = returnRn4 Nothing
-
-rn_derivs tycon2 locn (Just ds)
- = mapRn4 (rn_deriv tycon2 locn) ds `thenRn4` \ derivs ->
- returnRn4 (Just derivs)
- where
- rn_deriv tycon2 locn clas
- = lookupClass clas `thenRn4` \ clas_name ->
- case clas_name of
- ClassName key _ _ | key `is_elem` derivableClassKeys
- -> returnRn4 clas_name
- _ -> addErrRn4 (derivingNonStdClassErr clas locn) `thenRn4_`
- returnRn4 clas_name
- where
- is_elem = isIn "rn_deriv"
-\end{code}
-
-@rnConDecls@ uses the `global name function' to create a new
-constructor in which local names have been replaced by their original
-names, reporting any unknown names.
-
-\begin{code}
-rnConDecls :: TyVarNamesEnv
- -> Bool -- True <=> allowed to see invisible data-cons
- -> [ProtoNameConDecl]
- -> Rn4M [RenamedConDecl]
-
-rnConDecls tv_env invisibles_allowed con_decls
- = mapRn4 rn_decl con_decls
- where
- lookup_fn
- = if invisibles_allowed
- then lookupValueEvenIfInvisible
- else lookupValue
-
- rn_decl (ConDecl name tys src_loc)
- = pushSrcLocRn4 src_loc (
- lookup_fn name `thenRn4` \ new_name ->
- mapRn4 rn_bang_ty tys `thenRn4` \ new_tys ->
- returnRn4 (ConDecl new_name new_tys src_loc)
- )
-
- rn_decl (ConOpDecl ty1 op ty2 src_loc)
- = pushSrcLocRn4 src_loc (
- lookup_fn op `thenRn4` \ new_op ->
- rn_bang_ty ty1 `thenRn4` \ new_ty1 ->
- rn_bang_ty ty2 `thenRn4` \ new_ty2 ->
- returnRn4 (ConOpDecl new_ty1 new_op new_ty2 src_loc)
- )
-
- rn_decl (NewConDecl name ty src_loc)
- = pushSrcLocRn4 src_loc (
- lookup_fn name `thenRn4` \ new_name ->
- rn_mono_ty ty `thenRn4` \ new_ty ->
- returnRn4 (NewConDecl new_name new_ty src_loc)
- )
-
- rn_decl (RecConDecl con fields src_loc)
- = panic "rnConDecls:RecConDecl"
-
- ----------
- rn_mono_ty = rnMonoType invisibles_allowed tv_env
-
- rn_bang_ty (Banged ty)
- = rn_mono_ty ty `thenRn4` \ new_ty ->
- returnRn4 (Banged new_ty)
- rn_bang_ty (Unbanged ty)
- = rn_mono_ty ty `thenRn4` \ new_ty ->
- returnRn4 (Unbanged new_ty)
-\end{code}
-
-%*********************************************************
-%* *
-\subsection{SPECIALIZE data pragmas}
-%* *
-%*********************************************************
-
-\begin{code}
-rnSpecDataSig :: ProtoNameSpecDataSig
- -> Rn4M RenamedSpecDataSig
-
-rnSpecDataSig (SpecDataSig tycon ty src_loc)
- = pushSrcLocRn4 src_loc (
- let
- tyvars = extractMonoTyNames eqProtoName ty
- in
- mkTyVarNamesEnv src_loc tyvars `thenRn4` \ (tv_env,_) ->
- lookupTyCon tycon `thenRn4` \ tycon' ->
- rnMonoType False tv_env ty `thenRn4` \ ty' ->
- returnRn4 (SpecDataSig tycon' ty' src_loc)
- )
-\end{code}
-
-%*********************************************************
-%* *
-\subsection{Class declarations}
-%* *
-%*********************************************************
-
-@rnClassDecl@ uses the `global name function' to create a new
-class declaration in which local names have been replaced by their
-original names, reporting any unknown names.
-
-\begin{code}
-rnClassDecl :: ProtoNameClassDecl -> Rn4M RenamedClassDecl
-
-rnClassDecl (ClassDecl context cname tyvar sigs mbinds pragmas src_loc)
- = pushSrcLocRn4 src_loc (
- mkTyVarNamesEnv src_loc [tyvar] `thenRn4` \ (tv_env, [tyvar']) ->
- rnContext tv_env context `thenRn4` \ context' ->
- lookupClass cname `thenRn4` \ cname' ->
- mapRn4 (rn_op cname' tv_env) sigs `thenRn4` \ sigs' ->
- rnMethodBinds cname' mbinds `thenRn4` \ mbinds' ->
- recoverQuietlyRn4 NoClassPragmas (
- rnClassPragmas pragmas
- ) `thenRn4` \ pragmas' ->
- returnRn4 (ClassDecl context' cname' tyvar' sigs' mbinds' pragmas' src_loc)
- )
- where
- rn_op clas tv_env (ClassOpSig op ty pragma locn)
- = pushSrcLocRn4 locn (
- lookupClassOp clas op `thenRn4` \ op_name ->
- rnPolyType False tv_env ty `thenRn4` \ new_ty ->
-
-{-
-*** Please check here that tyvar' appears in new_ty ***
-*** (used to be in tcClassSig, but it's better here)
-*** not_elem = isn'tIn "tcClassSigs"
-*** -- Check that the class type variable is mentioned
-*** checkTc (clas_tyvar `not_elem` extractTyVarTemplatesFromTy local_ty)
-*** (methodTypeLacksTyVarErr clas_tyvar (_UNPK_ op_name) src_loc) `thenTc_`
--}
- recoverQuietlyRn4 NoClassOpPragmas (
- rnClassOpPragmas pragma
- ) `thenRn4` \ new_pragma ->
- returnRn4 (ClassOpSig op_name new_ty new_pragma locn)
- )
-\end{code}
-
-
-%*********************************************************
-%* *
-\subsection{Instance declarations}
-%* *
-%*********************************************************
-
-
-@rnInstDecl@ uses the `global name function' to create a new of
-instance declaration in which local names have been replaced by their
-original names, reporting any unknown names.
-
-\begin{code}
-rnInstDecl :: ProtoNameInstDecl -> Rn4M RenamedInstDecl
-
-rnInstDecl (InstDecl cname ty mbinds from_here modname uprags pragmas src_loc)
- = pushSrcLocRn4 src_loc (
- let
- tyvars = extract_poly_ty_names ty
- in
- mkTyVarNamesEnv src_loc tyvars `thenRn4` \ (tv_env,_) ->
- lookupClass cname `thenRn4` \ cname' ->
-
- rnPolyType False{-no invisibles-} [] ty
- -- The "[]" was tv_env, but that means the InstDecl's tyvars aren't
- -- pinned on the HsForAllType, which they should be.
- -- Urgh! Improve in the new renamer!
-
- `thenRn4` \ ty' ->
- rnMethodBinds cname' mbinds `thenRn4` \ mbinds' ->
- mapRn4 (rn_uprag cname') uprags `thenRn4` \ new_uprags ->
- recoverQuietlyRn4 NoInstancePragmas (
- rnInstancePragmas cname' tv_env pragmas
- ) `thenRn4` \ new_pragmas ->
- returnRn4 (InstDecl cname' ty' mbinds'
- from_here modname new_uprags new_pragmas src_loc)
- )
- where
- rn_uprag class_name (SpecSig op ty using locn)
- = ASSERT(not (maybeToBool using)) -- ToDo: SPEC method with explicit spec_id
- pushSrcLocRn4 src_loc (
- lookupClassOp class_name op `thenRn4` \ op_name ->
- rnPolyType False nullTyVarNamesEnv ty `thenRn4` \ new_ty ->
- returnRn4 (SpecSig op_name new_ty Nothing locn)
- )
- rn_uprag class_name (InlineSig op locn)
- = pushSrcLocRn4 locn (
- lookupClassOp class_name op `thenRn4` \ op_name ->
- returnRn4 (InlineSig op_name locn)
- )
- rn_uprag class_name (DeforestSig op locn)
- = pushSrcLocRn4 locn (
- lookupClassOp class_name op `thenRn4` \ op_name ->
- returnRn4 (DeforestSig op_name locn)
- )
- rn_uprag class_name (MagicUnfoldingSig op str locn)
- = pushSrcLocRn4 locn (
- lookupClassOp class_name op `thenRn4` \ op_name ->
- returnRn4 (MagicUnfoldingSig op_name str locn)
- )
-\end{code}
-
-%*********************************************************
-%* *
-\subsection{@SPECIALIZE instance@ user-pragmas}
-%* *
-%*********************************************************
-
-\begin{code}
-rnSpecInstSig :: ProtoNameSpecInstSig
- -> Rn4M RenamedSpecInstSig
-
-rnSpecInstSig (SpecInstSig clas ty src_loc)
- = pushSrcLocRn4 src_loc (
- let tyvars = extractMonoTyNames eqProtoName ty in
- mkTyVarNamesEnv src_loc tyvars `thenRn4` \ (tv_env,_) ->
- lookupClass clas `thenRn4` \ new_clas ->
- rnMonoType False tv_env ty `thenRn4` \ new_ty ->
- returnRn4 (SpecInstSig new_clas new_ty src_loc)
- )
-\end{code}
-
-%*********************************************************
-%* *
-\subsection{Default declarations}
-%* *
-%*********************************************************
-
-@rnDefaultDecl@ uses the `global name function' to create a new set
-of default declarations in which local names have been replaced by
-their original names, reporting any unknown names.
-
-\begin{code}
-rnDefaultDecl :: [ProtoNameDefaultDecl] -> Rn4M [RenamedDefaultDecl]
-
-rnDefaultDecl [] = returnRn4 []
-rnDefaultDecl [DefaultDecl tys src_loc]
- = pushSrcLocRn4 src_loc $
- mapRn4 (rnMonoType False nullTyVarNamesEnv) tys `thenRn4` \ tys' ->
- returnRn4 [DefaultDecl tys' src_loc]
-rnDefaultDecl defs@(d:ds)
- = addErrRn4 (dupDefaultDeclErr defs) `thenRn4_`
- rnDefaultDecl [d]
-\end{code}
-
-%*************************************************************************
-%* *
-\subsection{Type signatures from interfaces}
-%* *
-%*************************************************************************
-
-Non-interface type signatures (which may include user-pragmas) are
-handled with @HsBinds@.
-
-@ClassOpSigs@ are dealt with in class declarations.
-
-\begin{code}
-rnIntSig :: ProtoNameSig -> Rn4M RenamedSig
-
-rnIntSig (Sig name ty pragma src_loc)
- = pushSrcLocRn4 src_loc (
- lookupValue name `thenRn4` \ new_name ->
- rnPolyType False nullTyVarNamesEnv ty `thenRn4` \ new_ty ->
- recoverQuietlyRn4 NoGenPragmas (
- rnGenPragmas pragma
- ) `thenRn4` \ new_pragma ->
- returnRn4 (Sig new_name new_ty new_pragma src_loc)
- )
-\end{code}
-
-%*************************************************************************
-%* *
-\subsection{Fixity declarations}
-%* *
-%*************************************************************************
-
-\begin{code}
-rnFixes :: [ProtoNameFixityDecl] -> Rn4M [RenamedFixityDecl]
-
-rnFixes fixities
- = mapRn4 rn_fixity fixities `thenRn4` \ fixes_maybe ->
- returnRn4 (catMaybes fixes_maybe)
- where
- rn_fixity (InfixL name i)
- = lookupFixityOp name `thenRn4` \ res ->
- returnRn4 (
- case res of
- Just name2 -> Just (InfixL name2 i)
- Nothing -> Nothing
- )
-
- rn_fixity (InfixR name i)
- = lookupFixityOp name `thenRn4` \ res ->
- returnRn4 (
- case res of
- Just name2 -> Just (InfixR name2 i)
- Nothing -> Nothing
- )
-
- rn_fixity (InfixN name i)
- = lookupFixityOp name `thenRn4` \ res ->
- returnRn4 (
- case res of
- Just name2 -> Just (InfixN name2 i)
- Nothing -> Nothing
- )
-\end{code}
-
-%*********************************************************
-%* *
-\subsection{Support code to rename types}
-%* *
-%*********************************************************
-
-\begin{code}
-rnPolyType :: Bool -- True <=> "invisible" tycons (in pragmas) allowed
- -> TyVarNamesEnv
- -> ProtoNamePolyType
- -> Rn4M RenamedPolyType
-
-rnPolyType invisibles_allowed tv_env (HsForAllTy tvs ctxt ty)
- = rn_poly_help invisibles_allowed tv_env tvs ctxt ty
-
-rnPolyType invisibles_allowed tv_env poly_ty@(HsPreForAllTy ctxt ty)
- = rn_poly_help invisibles_allowed tv_env forall_tyvars ctxt ty
- where
- mentioned_tyvars = extract_poly_ty_names poly_ty
-
- forall_tyvars = mentioned_tyvars `minus_list` domTyVarNamesEnv tv_env
-
- -- URGH! Why is this here? SLPJ
- -- Because we are doing very delicate comparisons
- -- (eqProtoName and all that); if we got rid of
- -- that, then we could use ListSetOps stuff. WDP
- minus_list xs ys = [ x | x <- xs, not (x `elemProtoNames` ys)]
-
-------------
-extract_poly_ty_names (HsPreForAllTy ctxt ty)
- = extractCtxtTyNames eqProtoName ctxt
- `union_list`
- extractMonoTyNames eqProtoName ty
- where
- -- see comment above
- union_list [] [] = []
- union_list [] b = b
- union_list a [] = a
- union_list (a:as) b
- | a `elemProtoNames` b = union_list as b
- | otherwise = a : union_list as b
-
-------------
-rn_poly_help :: Bool
- -> TyVarNamesEnv
- -> [ProtoName]
- -> ProtoNameContext
- -> ProtoNameMonoType
- -> Rn4M RenamedPolyType
-
-rn_poly_help invisibles_allowed tv_env tyvars ctxt ty
- = getSrcLocRn4 `thenRn4` \ src_loc ->
- mkTyVarNamesEnv src_loc tyvars `thenRn4` \ (tv_env1, new_tyvars) ->
- let
- tv_env2 = catTyVarNamesEnvs tv_env1 tv_env
- in
- rnContext tv_env2 ctxt `thenRn4` \ new_ctxt ->
- rnMonoType invisibles_allowed tv_env2 ty `thenRn4` \ new_ty ->
- returnRn4 (HsForAllTy new_tyvars new_ctxt new_ty)
-\end{code}
-
-\begin{code}
-rnMonoType :: Bool -- allowed to look at invisible tycons
- -> TyVarNamesEnv
- -> ProtoNameMonoType
- -> Rn4M RenamedMonoType
-
-rnMonoType invisibles_allowed tv_env (MonoTyVar tyvar)
- = lookupTyVarName tv_env tyvar `thenRn4` \ tyvar' ->
- returnRn4 (MonoTyVar tyvar')
-
-rnMonoType invisibles_allowed tv_env (MonoListTy ty)
- = rnMonoType invisibles_allowed tv_env ty `thenRn4` \ ty' ->
- returnRn4 (MonoListTy ty')
-
-rnMonoType invisibles_allowed tv_env (MonoFunTy ty1 ty2)
- = andRn4 MonoFunTy (rnMonoType invisibles_allowed tv_env ty1)
- (rnMonoType invisibles_allowed tv_env ty2)
-
-rnMonoType invisibles_allowed tv_env (MonoTupleTy tys)
- = mapRn4 (rnMonoType invisibles_allowed tv_env) tys `thenRn4` \ tys' ->
- returnRn4 (MonoTupleTy tys')
-
-rnMonoType invisibles_allowed tv_env (MonoTyApp name tys)
- = let
- lookup_fn = if isAvarid (getOccurrenceName name)
- then lookupTyVarName tv_env
- else if invisibles_allowed
- then lookupTyConEvenIfInvisible
- else lookupTyCon
- in
- lookup_fn name `thenRn4` \ name' ->
- mapRn4 (rnMonoType invisibles_allowed tv_env) tys `thenRn4` \ tys' ->
- returnRn4 (MonoTyApp name' tys')
-
--- for unfoldings only:
-
-rnMonoType invisibles_allowed tv_env (MonoForAllTy tyvars_w_kinds ty)
- = getSrcLocRn4 `thenRn4` \ src_loc ->
- mkTyVarNamesEnv src_loc tyvars `thenRn4` \ (tv_env1, new_tyvars) ->
- let
- tv_env2 = catTyVarNamesEnvs tv_env1 tv_env
- in
- rnMonoType invisibles_allowed tv_env2 ty `thenRn4` \ ty' ->
- returnRn4 (MonoForAllTy (new_tyvars `zip` kinds) ty')
- where
- (tyvars, kinds) = unzip tyvars_w_kinds
-
-rnMonoType invisibles_allowed tv_env (MonoDictTy clas ty)
- = lookupClass clas `thenRn4` \ new_clas ->
- rnMonoType invisibles_allowed tv_env ty `thenRn4` \ new_ty ->
- returnRn4 (MonoDictTy new_clas new_ty)
-\end{code}
-
-\begin{code}
-rnContext :: TyVarNamesEnv -> ProtoNameContext -> Rn4M RenamedContext
-
-rnContext tv_env ctxt
- = mapRn4 rn_ctxt ctxt
- where
- rn_ctxt (clas, tyvar)
- = lookupClass clas `thenRn4` \ clas_name ->
- lookupTyVarName tv_env tyvar `thenRn4` \ tyvar_name ->
- returnRn4 (clas_name, tyvar_name)
-\end{code}
-
-%*********************************************************
-%* *
-\subsection{Support code to rename various pragmas}
-%* *
-%*********************************************************
-
-\begin{code}
-rnDataPragmas tv_env (DataPragmas cons specs)
- = rnConDecls tv_env True{-invisibles allowed-} cons `thenRn4` \ new_cons ->
- mapRn4 types_n_spec specs `thenRn4` \ new_specs ->
- returnRn4 (DataPragmas new_cons new_specs)
- where
- types_n_spec ty_maybes
- = mapRn4 (rn_ty_maybe nullTyVarNamesEnv) ty_maybes
-\end{code}
-
-\begin{code}
-rnClassOpPragmas NoClassOpPragmas = returnRn4 NoClassOpPragmas
-
-rnClassOpPragmas (ClassOpPragmas dsel defm)
- = recoverQuietlyRn4 NoGenPragmas (rnGenPragmas dsel) `thenRn4` \ new_dsel ->
- recoverQuietlyRn4 NoGenPragmas (rnGenPragmas defm) `thenRn4` \ new_defm ->
- returnRn4 (ClassOpPragmas new_dsel new_defm)
-\end{code}
-
-\begin{code}
-rnClassPragmas NoClassPragmas = returnRn4 NoClassPragmas
-
-rnClassPragmas (SuperDictPragmas sds)
- = mapRn4 rnGenPragmas sds `thenRn4` \ new_sds ->
- returnRn4 (SuperDictPragmas new_sds)
-\end{code}
-
-NB: In various cases around here, we don't @recoverQuietlyRn4@ around
-calls to @rnGenPragmas@; not really worth it.
-
-\begin{code}
-rnInstancePragmas _ _ NoInstancePragmas = returnRn4 NoInstancePragmas
-
-rnInstancePragmas _ _ (SimpleInstancePragma dfun)
- = rnGenPragmas dfun `thenRn4` \ new_dfun ->
- returnRn4 (SimpleInstancePragma new_dfun)
-
-rnInstancePragmas clas tv_env (ConstantInstancePragma dfun constms)
- = recoverQuietlyRn4 NoGenPragmas (
- rnGenPragmas dfun
- ) `thenRn4` \ new_dfun ->
- mapRn4 name_n_gen constms `thenRn4` \ new_constms ->
- returnRn4 (ConstantInstancePragma new_dfun new_constms)
- where
- name_n_gen (op, gen)
- = lookupClassOp clas op `thenRn4` \ new_op ->
- rnGenPragmas gen `thenRn4` \ new_gen ->
- returnRn4 (new_op, new_gen)
-
-rnInstancePragmas clas tv_env (SpecialisedInstancePragma dfun specs)
- = recoverQuietlyRn4 NoGenPragmas (
- rnGenPragmas dfun
- ) `thenRn4` \ new_dfun ->
- mapRn4 types_n_spec specs `thenRn4` \ new_specs ->
- returnRn4 (SpecialisedInstancePragma new_dfun new_specs)
- where
- types_n_spec (ty_maybes, dicts_to_ignore, inst)
- = mapRn4 (rn_ty_maybe tv_env) ty_maybes `thenRn4` \ new_tys ->
- rnInstancePragmas clas tv_env inst `thenRn4` \ new_inst ->
- returnRn4 (new_tys, dicts_to_ignore, new_inst)
-\end{code}
-
-And some general pragma stuff: (Not sure what, if any, of this would
-benefit from a TyVarNamesEnv passed in.... [ToDo])
-\begin{code}
-rnGenPragmas :: ProtoNameGenPragmas -> Rn4M RenamedGenPragmas
-
-rnGenPragmas NoGenPragmas = returnRn4 NoGenPragmas
-
-rnGenPragmas (GenPragmas arity upd def strict unfold specs)
- = recoverQuietlyRn4 NoImpUnfolding (
- rn_unfolding unfold
- ) `thenRn4` \ new_unfold ->
- rn_strictness strict `thenRn4` \ new_strict ->
- recoverQuietlyRn4 [] (
- mapRn4 types_n_gen specs
- ) `thenRn4` \ new_specs ->
- returnRn4 (GenPragmas arity upd def new_strict new_unfold new_specs)
- where
- rn_unfolding NoImpUnfolding = returnRn4 NoImpUnfolding
-
- rn_unfolding (ImpMagicUnfolding str) = returnRn4 (ImpMagicUnfolding str)
-
- rn_unfolding (ImpUnfolding guidance core)
- = rn_core nullTyVarNamesEnv core `thenRn4` \ new_core ->
- returnRn4 (ImpUnfolding guidance new_core)
-
- ------------
- rn_strictness NoImpStrictness = returnRn4 NoImpStrictness
-
- rn_strictness (ImpStrictness is_bot ww_info wrkr_info)
- = recoverQuietlyRn4 NoGenPragmas (
- rnGenPragmas wrkr_info
- ) `thenRn4` \ new_wrkr_info ->
- returnRn4 (ImpStrictness is_bot ww_info new_wrkr_info)
-
- -------------
- types_n_gen (ty_maybes, dicts_to_ignore, gen)
- = mapRn4 (rn_ty_maybe no_env) ty_maybes `thenRn4` \ new_tys ->
- recoverQuietlyRn4 NoGenPragmas (
- rnGenPragmas gen
- ) `thenRn4` \ new_gen ->
- returnRn4 (new_tys, dicts_to_ignore, new_gen)
- where
- no_env = nullTyVarNamesEnv
-
-------------
-rn_ty_maybe tv_env Nothing = returnRn4 Nothing
-
-rn_ty_maybe tv_env (Just ty)
- = rnMonoType True{-invisibles OK-} tv_env ty `thenRn4` \ new_ty ->
- returnRn4 (Just new_ty)
-
-------------
-rn_core tvenv (UfVar v)
- = rn_uf_id tvenv v `thenRn4` \ vname ->
- returnRn4 (UfVar vname)
-
-rn_core tvenv (UfLit lit)
- = returnRn4 (UfLit lit)
-
-rn_core tvenv (UfCon con tys as)
- = lookupValueEvenIfInvisible con `thenRn4` \ new_con ->
- mapRn4 (rn_core_type tvenv) tys `thenRn4` \ new_tys ->
- mapRn4 (rn_atom tvenv) as `thenRn4` \ new_as ->
- returnRn4 (UfCon new_con new_tys new_as)
-
-rn_core tvenv (UfPrim op tys as)
- = rn_core_primop tvenv op `thenRn4` \ new_op ->
- mapRn4 (rn_core_type tvenv) tys `thenRn4` \ new_tys ->
- mapRn4 (rn_atom tvenv) as `thenRn4` \ new_as ->
- returnRn4 (UfPrim new_op new_tys new_as)
-
-rn_core tvenv (UfLam binder body)
- = rn_binder tvenv binder `thenRn4` \ (b,ty) ->
- extendSS [b] (rn_core tvenv body) `thenRn4` \ new_body ->
- returnRn4 (UfLam (b,ty) new_body)
-
-rn_core tvenv (UfApp fun arg)
- = rn_core tvenv fun `thenRn4` \ new_fun ->
- rn_atom tvenv arg `thenRn4` \ new_arg ->
- returnRn4 (UfApp new_fun new_arg)
-
-rn_core tvenv (UfCase expr alts)
- = rn_core tvenv expr `thenRn4` \ new_expr ->
- rn_alts alts `thenRn4` \ new_alts ->
- returnRn4 (UfCase new_expr new_alts)
- where
- rn_alts (UfCoAlgAlts alg_alts deflt)
- = mapRn4 rn_alg_alt alg_alts `thenRn4` \ new_alts ->
- rn_deflt deflt `thenRn4` \ new_deflt ->
- returnRn4 (UfCoAlgAlts new_alts new_deflt)
- where
- rn_alg_alt (con, params, rhs)
- = lookupValueEvenIfInvisible con `thenRn4` \ new_con ->
- mapRn4 (rn_binder tvenv) params `thenRn4` \ new_params ->
- let
- bs = [ b | (b, ty) <- new_params ]
- in
- extendSS bs (rn_core tvenv rhs) `thenRn4` \ new_rhs ->
- returnRn4 (new_con, new_params, new_rhs)
-
- rn_alts (UfCoPrimAlts prim_alts deflt)
- = mapRn4 rn_prim_alt prim_alts `thenRn4` \ new_alts ->
- rn_deflt deflt `thenRn4` \ new_deflt ->
- returnRn4 (UfCoPrimAlts new_alts new_deflt)
- where
- rn_prim_alt (lit, rhs)
- = rn_core tvenv rhs `thenRn4` \ new_rhs ->
- returnRn4 (lit, new_rhs)
-
- rn_deflt UfCoNoDefault = returnRn4 UfCoNoDefault
- rn_deflt (UfCoBindDefault b rhs)
- = rn_binder tvenv b `thenRn4` \ new_b@(binder, ty) ->
- extendSS [binder] (rn_core tvenv rhs) `thenRn4` \ new_rhs ->
- returnRn4 (UfCoBindDefault new_b new_rhs)
-
-rn_core tvenv (UfLet bind body)
- = rn_bind bind `thenRn4` \ (new_bind, new_binders) ->
- extendSS new_binders (rn_core tvenv body) `thenRn4` \ new_body ->
- returnRn4 (UfLet new_bind new_body)
- where
- rn_bind (UfCoNonRec b rhs)
- = rn_binder tvenv b `thenRn4` \ new_b@(binder, ty) ->
- rn_core tvenv rhs `thenRn4` \ new_rhs ->
- returnRn4 (UfCoNonRec new_b new_rhs, [binder])
-
- rn_bind (UfCoRec pairs)
- = -- conjure up Names; we do this differently than
- -- elsewhere for Core, because of the recursion here;
- -- no deep issue.
- -- [BEFORE IT WAS "FIXED"... 94/05...]
- -- [Andy -- It *was* a 'deep' issue to me...]
- -- [Will -- Poor wee soul.]
-
- getSrcLocRn4 `thenRn4` \ locn ->
- namesFromProtoNames "core variable"
- [ (b, locn) | ((b,_),_) <- pairs] `thenRn4` \ binders ->
-
- extendSS binders (mapRn4 rn_pair (pairs `zip` binders)) `thenRn4` \ new_pairs ->
- returnRn4 (UfCoRec new_pairs, binders)
- where
- rn_pair (((b, ty), rhs), new_b)
- = rn_core_type tvenv ty `thenRn4` \ new_ty ->
- rn_core tvenv rhs `thenRn4` \ new_rhs ->
- returnRn4 ((new_b, new_ty), new_rhs)
-
-rn_core tvenv (UfSCC uf_cc body)
- = rn_cc uf_cc `thenRn4` \ new_cc ->
- rn_core tvenv body `thenRn4` \ new_body ->
- returnRn4 (UfSCC new_cc new_body)
- where
- rn_cc (UfAutoCC id m g is_dupd is_caf)
- = rn_uf_id tvenv id `thenRn4` \ new_id ->
- returnRn4 (UfAutoCC new_id m g is_dupd is_caf)
-
- rn_cc (UfDictCC id m g is_caf is_dupd)
- = rn_uf_id tvenv id `thenRn4` \ new_id ->
- returnRn4 (UfDictCC new_id m g is_dupd is_caf)
-
- -- the rest are boring:
- rn_cc (UfPreludeDictsCC d) = returnRn4 (UfPreludeDictsCC d)
- rn_cc (UfAllDictsCC m g d) = returnRn4 (UfAllDictsCC m g d)
- rn_cc (UfUserCC n m g d c) = returnRn4 (UfUserCC n m g d c)
-
-------------
-rn_core_primop tvenv (UfCCallOp str is_casm may_gc arg_tys res_ty)
- = mapRn4 (rn_core_type tvenv) arg_tys `thenRn4` \ new_arg_tys ->
- rn_core_type tvenv res_ty `thenRn4` \ new_res_ty ->
- returnRn4 (UfCCallOp str is_casm may_gc new_arg_tys new_res_ty)
-rn_core_primop tvenv (UfOtherOp op)
- = returnRn4 (UfOtherOp op)
-
-------------
-rn_uf_id tvenv (BoringUfId v)
- = lookupValueEvenIfInvisible v `thenRn4` \ vname ->
- returnRn4 (BoringUfId vname)
-
-rn_uf_id tvenv (SuperDictSelUfId c sc)
- = lookupClass{-EvenIfInvisible-} c `thenRn4` \ new_c ->
- lookupClass{-EvenIfInvisible-} sc `thenRn4` \ new_sc ->
- returnRn4 (SuperDictSelUfId new_c new_sc)
-
-rn_uf_id tvenv (ClassOpUfId c op)
- = lookupClass{-EvenIfInvisible-} c `thenRn4` \ new_c ->
- lookupClassOp{-EvenIfInvisible-} new_c op `thenRn4` \ new_op ->
- returnRn4 (ClassOpUfId new_c new_op)
-
-rn_uf_id tvenv (DictFunUfId c ty)
- = lookupClass{-EvenIfInvisible-} c `thenRn4` \ new_c ->
- rn_core_type tvenv ty `thenRn4` \ new_ty ->
- returnRn4 (DictFunUfId new_c new_ty)
-
-rn_uf_id tvenv (ConstMethodUfId c op ty)
- = lookupClass{-EvenIfInvisible-} c `thenRn4` \ new_c ->
- lookupClassOp{-EvenIfInvisible-} new_c op `thenRn4` \ new_op ->
- rn_core_type tvenv ty `thenRn4` \ new_ty ->
- returnRn4 (ConstMethodUfId new_c new_op new_ty)
-
-rn_uf_id tvenv (DefaultMethodUfId c op)
- = lookupClass{-EvenIfInvisible-} c `thenRn4` \ new_c ->
- lookupClassOp{-EvenIfInvisible-} new_c op `thenRn4` \ new_op ->
- returnRn4 (DefaultMethodUfId new_c new_op)
-
-rn_uf_id tvenv (SpecUfId unspec ty_maybes)
- = rn_uf_id tvenv unspec `thenRn4` \ new_unspec ->
- mapRn4 (rn_ty_maybe tvenv) ty_maybes `thenRn4` \ new_ty_maybes ->
- returnRn4 (SpecUfId new_unspec new_ty_maybes)
-
-rn_uf_id tvenv (WorkerUfId unwrkr)
- = rn_uf_id tvenv unwrkr `thenRn4` \ new_unwrkr ->
- returnRn4 (WorkerUfId new_unwrkr)
-
-------------
-rn_binder tvenv (b, ty)
- = getSrcLocRn4 `thenRn4` \ src_loc ->
- namesFromProtoNames "binder in core unfolding" [(b, src_loc)]
- `thenRn4` \ [new_b] ->
- rn_core_type tvenv ty `thenRn4` \ new_ty ->
- returnRn4 (new_b, new_ty)
-
-------------
-rn_atom tvenv (UfCoLitAtom l) = returnRn4 (UfCoLitAtom l)
-rn_atom tvenv (UfCoVarAtom v)
- = rn_uf_id tvenv v `thenRn4` \ vname ->
- returnRn4 (UfCoVarAtom vname)
-
-------------
-rn_core_type_maybe tvenv Nothing = returnRn4 Nothing
-rn_core_type_maybe tvenv (Just ty)
- = rn_core_type tvenv ty `thenRn4` \ new_ty ->
- returnRn4 (Just new_ty)
-
-------------
-rn_core_type tvenv ty
- = rnPolyType True{-invisible tycons OK-} tvenv ty
-\end{code}
-
-
-\begin{code}
-derivingNonStdClassErr clas locn sty
- = ppHang (ppStr "Non-standard class in deriving")
- 4 (ppCat [ppr sty clas, ppr sty locn])
-
-dupDefaultDeclErr defs sty
- = ppHang (ppStr "Duplicate default declarations")
- 4 (ppAboves (map pp_def_loc defs))
- where
- pp_def_loc (DefaultDecl _ src_loc) = ppr sty src_loc
-\end{code}