From c4854c781cdf7046fe6ec064c805fa838e31e933 Mon Sep 17 00:00:00 2001 From: simonpj Date: Mon, 15 Oct 2001 15:05:17 +0000 Subject: [PATCH] [project @ 2001-10-15 15:05:17 by simonpj] Rename ifaceTyCls to ifaceTyThing (more consistent) --- ghc/compiler/ghci/InteractiveUI.hs | 4 ++-- ghc/compiler/hsSyn/HsDecls.lhs | 2 +- ghc/compiler/main/MkIface.lhs | 22 +++++++++++----------- 3 files changed, 14 insertions(+), 14 deletions(-) diff --git a/ghc/compiler/ghci/InteractiveUI.hs b/ghc/compiler/ghci/InteractiveUI.hs index e291d6f..9e8af51 100644 --- a/ghc/compiler/ghci/InteractiveUI.hs +++ b/ghc/compiler/ghci/InteractiveUI.hs @@ -1,5 +1,5 @@ ----------------------------------------------------------------------------- --- $Id: InteractiveUI.hs,v 1.91 2001/08/20 16:17:17 simonmar Exp $ +-- $Id: InteractiveUI.hs,v 1.92 2001/10/15 15:05:17 simonpj Exp $ -- -- GHC Interactive User Interface -- @@ -399,7 +399,7 @@ info s = do showThing (ty_thing, fixity) = vcat [ text "-- " <> showTyThing ty_thing, showFixity fixity (getName ty_thing), - ppr (ifaceTyCls ty_thing) ] + ppr (ifaceTyThing ty_thing) ] showFixity fix name | fix == defaultFixity = empty diff --git a/ghc/compiler/hsSyn/HsDecls.lhs b/ghc/compiler/hsSyn/HsDecls.lhs index 375a35d..90a211f 100644 --- a/ghc/compiler/hsSyn/HsDecls.lhs +++ b/ghc/compiler/hsSyn/HsDecls.lhs @@ -611,7 +611,7 @@ instance (Outputable name) => Outputable (ConDecl name) where ppr_con_details con (InfixCon ty1 ty2) = hsep [ppr_bang ty1, ppr con, ppr_bang ty2] --- ConDecls generated by MkIface.ifaceTyCls always have a VanillaCon, even +-- ConDecls generated by MkIface.ifaceTyThing always have a VanillaCon, even -- if the constructor is an infix one. This is because in an interface file -- we don't distinguish between the two. Hence when printing these for the -- user, we need to parenthesise infix constructor names. diff --git a/ghc/compiler/main/MkIface.lhs b/ghc/compiler/main/MkIface.lhs index 91bd856..4f24901 100644 --- a/ghc/compiler/main/MkIface.lhs +++ b/ghc/compiler/main/MkIface.lhs @@ -8,7 +8,7 @@ module MkIface ( mkFinalIface, pprModDetails, pprIface, pprUsage, - ifaceTyCls, + ifaceTyThing, ) where #include "HsVersions.h" @@ -118,7 +118,7 @@ mkFinalIface ghci_mode dflags location hi_file_path = ml_hi_file location new_decls = mkIfaceDecls ty_cls_dcls rule_dcls inst_dcls inst_dcls = map ifaceInstance (md_insts new_details) - ty_cls_dcls = foldNameEnv ifaceTyCls_acc [] (md_types new_details) + ty_cls_dcls = foldNameEnv ifaceTyThing_acc [] (md_types new_details) rule_dcls = map ifaceRule (md_rules new_details) orphan_mod = isOrphanModule (mi_module new_iface) new_details @@ -144,18 +144,18 @@ Implicit Ids and class tycons aren't included in interface files, so we miss them out of the accumulating parameter here. \begin{code} -ifaceTyCls_acc :: TyThing -> [RenamedTyClDecl] -> [RenamedTyClDecl] -ifaceTyCls_acc (AnId id) so_far | isImplicitId id = so_far -ifaceTyCls_acc (ATyCon id) so_far | isClassTyCon id = so_far -ifaceTyCls_acc other so_far = ifaceTyCls other : so_far +ifaceTyThing_acc :: TyThing -> [RenamedTyClDecl] -> [RenamedTyClDecl] +ifaceTyThing_acc (AnId id) so_far | isImplicitId id = so_far +ifaceTyThing_acc (ATyCon id) so_far | isClassTyCon id = so_far +ifaceTyThing_acc other so_far = ifaceTyThing other : so_far \end{code} Convert *any* TyThing into a RenamedTyClDecl. Used both for generating interface files and for the ':info' command in GHCi. \begin{code} -ifaceTyCls :: TyThing -> RenamedTyClDecl -ifaceTyCls (AClass clas) = cls_decl +ifaceTyThing :: TyThing -> RenamedTyClDecl +ifaceTyThing (AClass clas) = cls_decl where cls_decl = ClassDecl { tcdCtxt = toHsContext sc_theta, tcdName = getName clas, @@ -182,7 +182,7 @@ ifaceTyCls (AClass clas) = cls_decl GenDefMeth -> GenDefMeth DefMeth id -> DefMeth (getName id) -ifaceTyCls (ATyCon tycon) = ty_decl +ifaceTyThing (ATyCon tycon) = ty_decl where ty_decl | isSynTyCon tycon = TySynonym { tcdName = getName tycon, @@ -218,7 +218,7 @@ ifaceTyCls (ATyCon tycon) = ty_decl tcdSysNames = [], tcdLoc = noSrcLoc } - | otherwise = pprPanic "ifaceTyCls" (ppr tycon) + | otherwise = pprPanic "ifaceTyThing" (ppr tycon) tyvars = tyConTyVars tycon (_, syn_ty) = getSynTyConDefn tycon @@ -246,7 +246,7 @@ ifaceTyCls (ATyCon tycon) = ty_decl mk_field strict_mark field_label = ([getName field_label], BangType strict_mark (toHsType (fieldLabelType field_label))) -ifaceTyCls (AnId id) = iface_sig +ifaceTyThing (AnId id) = iface_sig where iface_sig = IfaceSig { tcdName = getName id, tcdType = toHsType id_type, -- 1.7.10.4