From b5bf1f9b94dfcb2a885e92922bc1e2de214f154c Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Thu, 29 Jun 2006 10:53:21 +0000
Subject: [PATCH] Remove long-redundant FieldLabel.lhs

---
 compiler/basicTypes/FieldLabel.lhs |   71 ------------------------------------
 1 file changed, 71 deletions(-)
 delete mode 100644 compiler/basicTypes/FieldLabel.lhs

diff --git a/compiler/basicTypes/FieldLabel.lhs b/compiler/basicTypes/FieldLabel.lhs
deleted file mode 100644
index b388d37..0000000
--- a/compiler/basicTypes/FieldLabel.lhs
+++ /dev/null
@@ -1,71 +0,0 @@
-%
-% (c) The AQUA Project, Glasgow University, 1996-1998
-%
-\section[FieldLabel]{The @FieldLabel@ type}
-
-\begin{code}
-module FieldLabel(
-	FieldLabel,	-- Abstract
-
-	mkFieldLabel, 
-	fieldLabelName,	fieldLabelTyCon, fieldLabelType, fieldLabelTag,
-
-	FieldLabelTag,
-	firstFieldLabelTag, allFieldLabelTags
-  ) where
-
-#include "HsVersions.h"
-
-import Type( Type )
-import TyCon( TyCon )
-import Name		( Name{-instance Eq/Outputable-}, NamedThing(..), nameUnique )
-import Outputable
-import Unique           ( Uniquable(..) )
-\end{code}
-
-\begin{code}
-data FieldLabel
-  = FieldLabel	Name	        -- Also used as the Name of the field selector Id
-
-		TyCon		-- Parent type constructor
-
-		Type		-- Type of the field; may have free type variables that
-				-- 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).
-
-		FieldLabelTag	-- Indicates position within constructor
-				-- (starting with firstFieldLabelTag)
-				--
-				-- If the same field occurs in more than one constructor
-				-- then it'll have a separate FieldLabel on each occasion,
-				-- but with a single name (and presumably the same type!)
-
-type FieldLabelTag = Int
-
-mkFieldLabel = FieldLabel
-
-firstFieldLabelTag :: FieldLabelTag
-firstFieldLabelTag = 1
-
-allFieldLabelTags :: [FieldLabelTag]
-allFieldLabelTags = [firstFieldLabelTag..]
-
-fieldLabelName  (FieldLabel n _ _  _)   = n
-fieldLabelTyCon (FieldLabel _ tc _ _)   = tc
-fieldLabelType  (FieldLabel _ _ ty _)   = ty
-fieldLabelTag   (FieldLabel _ _ _  tag) = tag
-
-instance Eq FieldLabel where
-    fl1 == fl2 = fieldLabelName fl1 == fieldLabelName fl2
-
-instance Outputable FieldLabel where
-    ppr fl = ppr (fieldLabelName fl)
-
-instance NamedThing FieldLabel where
-    getName = fieldLabelName
-
-instance Uniquable FieldLabel where
-    getUnique fl = nameUnique (fieldLabelName fl)
-\end{code}
-- 
1.7.10.4