[project @ 2001-09-25 18:08:47 by ken]

[ghc-hetmet.git] / ghc / compiler / usageSP / UsageSPUtils.lhs

diff --git a/ghc/compiler/usageSP/UsageSPUtils.lhs b/ghc/compiler/usageSP/UsageSPUtils.lhs
index 96cd002..0a18567 100644 (file)
--- a/ghc/compiler/usageSP/UsageSPUtils.lhs
+++ b/ghc/compiler/usageSP/UsageSPUtils.lhs
@@ -9,7 +9,8 @@ September 1998 .. May 1999.
 Keith Wansbrough 1998-09-04..1999-07-07
 
 \begin{code}
-module UsageSPUtils ( AnnotM(AnnotM), initAnnotM,
+module UsageSPUtils ( {- SEE BELOW:  -- KSW 2000-10-13
+                      AnnotM(AnnotM), initAnnotM,
                       genAnnotBinds,
                       MungeFlags(isSigma,isLocal,isExp,hasUsg,mfLoc),
 
@@ -19,24 +20,31 @@ module UsageSPUtils ( AnnotM(AnnotM), initAnnotM,
                       newVarUs, newVarUSMM,
                       UniqSMM, usToUniqSMM, uniqSMMToUs,
 
-                      primOpUsgTys,
+                      primOpUsgTys, -}
                     ) where
 
 #include "HsVersions.h"
 
+{- ENTIRE FILE COMMENTED OUT FOR NOW  -- KSW 2000-10-13
 import CoreSyn
-import CoreFVs         ( mustHaveLocalBinding )
-import Var              ( Var, varName, varType, setVarType, mkUVar )
+import Var              ( Var, varType, setVarType, mkUVar )
 import Id               ( isExportedId )
 import Name             ( isLocallyDefined )
 import TypeRep          ( Type(..), TyNote(..) )  -- friend
-import Type             ( UsageAnn(..), isUsgTy, splitFunTys )
+import Type             ( splitFunTys )
 import Subst           ( substTy, mkTyVarSubst )
 import TyCon            ( isAlgTyCon, isPrimTyCon, isSynTyCon, isFunTyCon )
 import VarEnv
 import PrimOp           ( PrimOp, primOpUsg )
 import UniqSupply       ( UniqSupply, UniqSM, initUs, getUniqueUs, thenUs, returnUs )
 import Outputable
+
+
+   This monomorphic version of the analysis is outdated.  I'm
+   currently ripping out the old one and inserting the new one.  For
+   now, I'm simply commenting out this entire file.
+
+
 \end{code}
 
 ======================================================================
@@ -459,8 +467,7 @@ unannotTy    (NoteTy     (UsgForAll uv) ty) = unannotTy ty
 unannotTy    (NoteTy      (UsgNote _  ) ty) = unannotTy ty
 unannotTy    (NoteTy      (SynNote sty) ty) = NoteTy (SynNote (unannotTy sty)) (unannotTy ty)
 unannotTy    (NoteTy note@(FTVNote _  ) ty) = NoteTy note (unannotTy ty)
--- IP notes need to be preserved
-unannotTy ty@(NoteTy         (IPNote _) _)  = ty
+unannotTy ty@(PredTy _)                            = ty        -- PredTys need to be preserved
 unannotTy ty@(TyVarTy _)                    = ty
 unannotTy    (AppTy ty1 ty2)                = AppTy (unannotTy ty1) (unannotTy ty2)
 unannotTy    (TyConApp tc tys)              = TyConApp tc (map unannotTy tys)
@@ -629,6 +636,9 @@ primOpUsgTys p tys = let (tyvs,ty0us,rtyu) = primOpUsg p
                                              -- substitution may reveal more args
                      in  ((map (substTy s) ty0us) ++ ty1us,
                           rty1u)
+
+
+END OF ENTIRELY-COMMENTED-OUT FILE   -- KSW 2000-10-13 -}
 \end{code}
 
 ======================================================================