From: simonpj@microsoft.com <unknown>
Date: Wed, 1 Nov 2006 14:23:43 +0000 (+0000)
Subject: Comments only
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=4330e6f4e8f9ad2b09a3f71828d586e829227eca

Comments only
---

diff --git a/compiler/basicTypes/DataCon.lhs b/compiler/basicTypes/DataCon.lhs
index b2e166b..d7a7e2a 100644
--- a/compiler/basicTypes/DataCon.lhs
+++ b/compiler/basicTypes/DataCon.lhs
@@ -309,6 +309,7 @@ data DataCon
 					-- and *including* existential dictionaries
 
 	dcRepStrictness :: [StrictnessMark],	-- One for each *representation* argument	
+		-- See also Note [Data-con worker strictness] in MkId.lhs
 
 	dcRepType   :: Type,	-- Type of the constructor
 				-- 	forall a x y. (a:=:(x,y), Ord x) => x -> y -> MkT a
diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index 88d889a..e3b40b8 100644
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -246,6 +246,7 @@ mkDataConIds wrap_name wkr_name data_con
 							-- even if arity = 0
 
     wkr_sig = mkStrictSig (mkTopDmdType (replicate wkr_arity topDmd) cpr_info)
+	--	Note [Data-con worker strictness]
 	-- Notice that we do *not* say the worker is strict
 	-- even if the data constructor is declared strict
 	--	e.g. 	data T = MkT !(Int,Int)