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

Filter out type arguments when analysing primops.

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