[project @ 1999-03-25 13:13:51 by simonm]

[ghc-hetmet.git] / ghc / compiler / coreSyn / CoreUtils.lhs

diff --git a/ghc/compiler/coreSyn/CoreUtils.lhs b/ghc/compiler/coreSyn/CoreUtils.lhs
index 38b8c70..814426e 100644 (file)
--- a/ghc/compiler/coreSyn/CoreUtils.lhs
+++ b/ghc/compiler/coreSyn/CoreUtils.lhs
@@ -14,9 +14,7 @@ module CoreUtils (
        cheapEqExpr,
 
        substExpr, substId, substIds,
-       idSpecVars, idFreeVars,
-
-       squashableDictishCcExpr
+       idSpecVars, idFreeVars
     ) where
 
 #include "HsVersions.h"
@@ -38,7 +36,7 @@ import Id             ( Id, idType, setIdType, idUnique, idAppIsBottom,
                        )
 import IdInfo          ( arityLowerBound, InlinePragInfo(..) )
 import SpecEnv         ( emptySpecEnv, specEnvToList, isEmptySpecEnv )
-import CostCentre      ( isDictCC, CostCentre )
+import CostCentre      ( CostCentre )
 import Const           ( Con, conType )
 import Type            ( Type, TyVarSubst, mkFunTy, mkForAllTy,
                          splitFunTy_maybe, applyTys, tyVarsOfType, tyVarsOfTypes,
@@ -315,22 +313,6 @@ exprIsWHNF e@(App _ _)        = case collectArgs e of
                                  _             -> False
 \end{code}
 
-I don't like this function but I'n not confidnt enough to change it.
-
-\begin{code}
-squashableDictishCcExpr :: CostCentre -> Expr b -> Bool
-squashableDictishCcExpr cc expr
-  | isDictCC cc = False                -- that was easy...
-  | otherwise   = squashable expr
-  where
-    squashable (Var _)      = True
-    squashable (Con  _ _)   = True -- I think so... WDP 94/09
-    squashable (App f a)
-      | isTypeArg a        = squashable f
-    squashable other       = False
-\end{code}
-
-
 @cheapEqExpr@ is a cheap equality test which bales out fast!
        True  => definitely equal
        False => may or may not be equal