From: Isaac Dupree <id@isaac.cedarswampstudios.org>
Date: Mon, 30 Apr 2007 19:58:10 +0000 (+0000)
Subject: FastTypes - note strictness of fast{Or,And} and make the unboxed versions so
X-Git-Tag: 2007-06-12~99
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=cc89fbedbf65d7bebbc790796290ed5a4590c868;p=ghc-hetmet.git

FastTypes - note strictness of fast{Or,And} and make the unboxed versions so
---

diff --git a/compiler/utils/FastTypes.lhs b/compiler/utils/FastTypes.lhs
index bcea61d..9d7c276 100644
--- a/compiler/utils/FastTypes.lhs
+++ b/compiler/utils/FastTypes.lhs
@@ -34,6 +34,8 @@ fastBool True  = 1#
 fastBool False = 0#
 isFastTrue x = x ==# 1#
 
+-- note that fastOr and fastAnd are strict in both arguments
+-- since they are unboxed
 fastOr 1# _ = 1#
 fastOr 0# x = x
 
@@ -60,8 +62,12 @@ negateFastInt = negate
 type FastBool = Bool
 fastBool x = x
 isFastTrue x = x
-fastOr = (||)
-fastAnd = (&&)
+-- make sure these are as strict as the unboxed version,
+-- so that the performance characteristics match
+fastOr False False = False
+fastOr _ _ = True
+fastAnd True True = True
+fastAnd _ _ = False
 
 --These are among the type-signatures necessary for !ghc to compile
 -- but break ghc (can't give a signature for an import...)