From: simonm <unknown>
Date: Tue, 22 Dec 1998 18:52:04 +0000 (+0000)
Subject: [project @ 1998-12-22 18:52:04 by simonm]
X-Git-Tag: Approx_2487_patches~165
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=67afaea627d683193f408fac2cc5216b5d4a11d2;p=ghc-hetmet.git

[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
--- 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