X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FbasicTypes%2FDataCon.lhs;h=93aef42e4c43c706f6b28445895d7aee5078ced0;hb=9541ef3440f89f5f275509b1cc64fb9c498dcf73;hp=61c71d6d7dd17603796fec39ebc1481fb13f01f7;hpb=4e94cbc42227ecb187e5c2d03831ca49549095eb;p=ghc-hetmet.git

diff --git a/ghc/compiler/basicTypes/DataCon.lhs b/ghc/compiler/basicTypes/DataCon.lhs
index 61c71d6..93aef42 100644
--- a/ghc/compiler/basicTypes/DataCon.lhs
+++ b/ghc/compiler/basicTypes/DataCon.lhs
@@ -151,6 +151,12 @@ So now I've taken the stupid context out.  I simply deal with it
 separately in the type checker on occurrences of a constructor, either
 in an expression or in a pattern.
 
+[May 2003: actually I think this decision could evasily be reversed now,
+and probably should be.  Generics could be disabled for types with 
+a stupid context; record updates now (H98) needs the context too; etc.
+It's an unforced change, so I'm leaving it for now --- but it does seem
+odd that the wrapper doesn't include the stupid context.]
+
 
 
 %************************************************************************
@@ -163,7 +169,9 @@ in an expression or in a pattern.
 data DataCon
   = MkData {			-- Used for data constructors only;
 				-- there *is* no constructor for a newtype
-	dcName    :: Name,	
+
+	dcName    :: Name,	-- This is the name of the *source data con*
+				-- (see "Note [Data Constructor Naming]" above)
 
 	dcUnique :: Unique, 		-- Cached from Name
 	dcTag    :: ConTag,