[project @ 1996-06-26 10:26:00 by partain]

[ghc-hetmet.git] / ghc / compiler / simplStg / UpdAnal.lhs

diff --git a/ghc/compiler/simplStg/UpdAnal.lhs b/ghc/compiler/simplStg/UpdAnal.lhs
index 553acac..5a98a3e 100644 (file)
--- a/ghc/compiler/simplStg/UpdAnal.lhs
+++ b/ghc/compiler/simplStg/UpdAnal.lhs
@@ -12,7 +12,7 @@
 
 > module UpdAnal ( updateAnalyse ) where
 >
-> import Ubiq{-uitous-}
+> IMP_Ubiq(){-uitous-}
 >
 > import StgSyn
 > import Util          ( panic )
@@ -21,17 +21,16 @@
 > updateAnalyse = panic "UpdAnal.updateAnalyse"
 >
 > {- LATER: to end of file:
-> --import Type                ( splitTyArgs, splitSigmaTy, Class, TyVarTemplate,
-> --                     TauType(..)
+> --import Type                ( splitFunTy, splitSigmaTy, Class, TyVarTemplate,
+> --                     SYN_IE(TauType)
 > --                   )
 > --import Id
 > --import IdInfo
-> --import Outputable  ( isExported )
 > --import Pretty
 > --import SrcLoc      ( mkUnknownSrcLoc )
 > --import StgSyn
 > --import UniqSet
-> --import UniqSupply  ( getBuiltinUniques )
+> --import Unique      ( getBuiltinUniques )
 > --import Util
 
 %-----------------------------------------------------------------------------
@@ -489,7 +488,7 @@ Convert a Closure into a representation that can be placed in a .hi file.
 >                        (combine_IdEnvs (+) c' c, b', f')
 >
 >              (_,dict_tys,tau_ty) = (splitSigmaTy . idType) v
->              (reg_arg_tys, _)    = splitTyArgs tau_ty
+>              (reg_arg_tys, _)    = splitFunTy tau_ty
 >              arity               = length dict_tys + length reg_arg_tys
 
   removeSuperfluous2s = reverse . dropWhile (> 1) . reverse
@@ -507,7 +506,7 @@ suffice for now.
 >      StgRec bs       -> StgRec [ (attachOne v, rhs) | (v, rhs) <- bs ]
 >
 >   where attachOne v
->              | isExported v
+>              | externallyVisibleId v
 >                      = let c = lookup v p in
 >                              addIdUpdateInfo v
 >                                      (mkUpdateInfo (mkUpdateSpec v c))