X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FbasicTypes%2FFieldLabel.lhs;fp=ghc%2Fcompiler%2FbasicTypes%2FFieldLabel.lhs;h=15c7c639589759e1ecb9bc25b6bb5524e0a6f987;hb=111cee3f1ad93816cb828e38b38521d85c3bcebb;hp=a0a85ddf52e07e44d8a141377c1459e9acd85ab6;hpb=290e7896a6785ba5dcfbc7045438f382afd447ff;p=ghc-hetmet.git

diff --git a/ghc/compiler/basicTypes/FieldLabel.lhs b/ghc/compiler/basicTypes/FieldLabel.lhs
index a0a85dd..15c7c63 100644
--- a/ghc/compiler/basicTypes/FieldLabel.lhs
+++ b/ghc/compiler/basicTypes/FieldLabel.lhs
@@ -19,7 +19,8 @@ import Unique           ( Uniquable(..) )
 data FieldLabel
   = FieldLabel	Name	        -- Also used as the Name of the field selector Id
 		Type		-- Type of the field; may have free type variables that
-				-- are the tyvar of the constructor
+				-- are the tyvars of its parent *data* constructor, and
+				-- those will be the same as the tyvars of its parent *type* constructor
 				-- e.g.  data T a = MkT { op1 :: a -> a, op2 :: a -> Int }
 				-- The type in the FieldLabel for op1 will be simply (a->a).