From 01e93cefd831b314a2c7ff6d109d5019db5f0608 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 17 Aug 1999 07:24:35 +0000
Subject: [PATCH] [project @ 1999-08-17 07:24:35 by simonpj] Remove bizarre
 and inoperative returnsRealWorld hack in SaAbsInt.fixpoint

---
 ghc/compiler/stranal/SaAbsInt.lhs |   12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/ghc/compiler/stranal/SaAbsInt.lhs b/ghc/compiler/stranal/SaAbsInt.lhs
index 8dc7331..aa08205 100644
--- a/ghc/compiler/stranal/SaAbsInt.lhs
+++ b/ghc/compiler/stranal/SaAbsInt.lhs
@@ -34,8 +34,6 @@ import TyCon		( tyConUnique )
 import PrelInfo		( numericTyKeys )
 import Util		( isIn, nOfThem, zipWithEqual )
 import Outputable	
-
-returnsRealWorld x = False -- ToDo: panic "SaAbsInt.returnsRealWorld (ToDo)"
 \end{code}
 
 %************************************************************************
@@ -848,10 +846,14 @@ fixpoint anal ids rhss env
   where
     initial_val id
       = case anal of	-- The (unsafe) starting point
-	  StrAnal -> if (returnsRealWorld (idType id))
-		     then AbsTop -- this is a massively horrible hack (SLPJ 95/05)
-		     else AbsBot
 	  AbsAnal -> AbsTop
+	  StrAnal -> AbsBot
+		-- At one stage for StrAnal we said:
+		--   if (returnsRealWorld (idType id))
+		--   then AbsTop -- this is a massively horrible hack (SLPJ 95/05)
+		-- but no one has the foggiest idea what this hack did,
+		-- and returnsRealWorld was a stub that always returned False
+		-- So this comment is all that is left of the hack!
 
     initial_vals = [ initial_val id | id <- ids ]
 
-- 
1.7.10.4