From 67afaea627d683193f408fac2cc5216b5d4a11d2 Mon Sep 17 00:00:00 2001 From: simonm Date: Tue, 22 Dec 1998 18:52:04 +0000 Subject: [PATCH] [project @ 1998-12-22 18:52:04 by simonm] Filter out type arguments when analysing primops. --- ghc/compiler/stranal/SaAbsInt.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/compiler/stranal/SaAbsInt.lhs b/ghc/compiler/stranal/SaAbsInt.lhs index d2a8b3d..dc1efe4 100644 --- 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 -- 1.7.10.4