From 116e4e364defd4b453d0457d1b0385c1c15c2d5f Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Thu, 7 Sep 2006 10:57:05 +0000
Subject: [PATCH] Comments only

---
 compiler/coreSyn/CoreUtils.lhs |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/compiler/coreSyn/CoreUtils.lhs b/compiler/coreSyn/CoreUtils.lhs
index c59c751..da6367d 100644
--- a/compiler/coreSyn/CoreUtils.lhs
+++ b/compiler/coreSyn/CoreUtils.lhs
@@ -496,6 +496,9 @@ It returns True iff
 	soon, 
 	without raising an exception,
 	without causing a side effect (e.g. writing a mutable variable)
+
+NB: if exprIsHNF e, then exprOkForSpecuation e
+
 E.G.
 	let x = case y# +# 1# of { r# -> I# r# }
 	in E
@@ -621,7 +624,7 @@ exprIsHNF other	     = False
 
 -- There is at least one value argument
 app_is_value (Var fun) args
-  |  isDataConWorkId fun 			-- Constructor apps are values
+  |  isDataConWorkId fun 		-- Constructor apps are values
   || idArity fun > valArgCount args	-- Under-applied function
   = check_args (idType fun) args
 app_is_value (App f a) as = app_is_value f (a:as)
-- 
1.7.10.4