[project @ 1998-12-22 18:52:04 by simonm]

Filter out type arguments when analysing primops.

diff --git a/ghc/compiler/stranal/SaAbsInt.lhs b/ghc/compiler/stranal/SaAbsInt.lhs
index d2a8b3d..dc1efe4 100644 (file)
--- a/ghc/compiler/stranal/SaAbsInt.lhs
+++ b/ghc/compiler/stranal/SaAbsInt.lhs
@@ -422,7 +422,7 @@ absEval anal (Con (Literal _) args) env
 absEval anal (Con (PrimOp op) args) env
   =    -- Not all PrimOps evaluate all their arguments
     if or (zipWith (check_arg anal) 
-                  [absEval anal arg env | arg <- args]
+                  [absEval anal arg env | arg <- args, isValArg arg]
                   arg_demands)
     then AbsBot
     else case anal of