From: andy@galois.com <unknown>
Date: Wed, 25 Oct 2006 20:38:29 +0000 (+0000)
Subject: an expression with a TickBox round it is not in HNF.
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=15eda3f5faf5aa62ea6cbe018e4dd917df2412e1

an expression with a TickBox round it is not in HNF.
---

diff --git a/compiler/coreSyn/CoreUtils.lhs b/compiler/coreSyn/CoreUtils.lhs
index d82acb9..146f8cf 100644
--- a/compiler/coreSyn/CoreUtils.lhs
+++ b/compiler/coreSyn/CoreUtils.lhs
@@ -620,6 +620,10 @@ exprIsHNF (Lit l)	   = True
 exprIsHNF (Type ty)	   = True	-- Types are honorary Values; 
 			   		-- we don't mind copying them
 exprIsHNF (Lam b e)  	   = isRuntimeVar b || exprIsHNF e
+exprIsHNF (Note (TickBox {}) _)
+	                   = False
+exprIsHNF (Note (BinaryTickBox {}) _)
+	                   = False
 exprIsHNF (Note _ e) 	   = exprIsHNF e
 exprIsHNF (Cast e co)      = exprIsHNF e
 exprIsHNF (App e (Type _)) = exprIsHNF e