[project @ 2003-02-22 04:51:50 by sof]

[ghc-hetmet.git] / ghc / compiler / types / Type.lhs

diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs
index ec41604..455c6cb 100644 (file)
--- a/ghc/compiler/types/Type.lhs
+++ b/ghc/compiler/types/Type.lhs
@@ -9,8 +9,6 @@ module Type (
        Type, PredType, ThetaType,
        Kind, TyVarSubst, 
 
-       TyThing(..), isTyClThing,
-
        superKind, superBoxity,                         -- KX and BX respectively
        liftedBoxity, unliftedBoxity,                   -- :: BX
        openKindCon,                                    -- :: KX
@@ -110,29 +108,6 @@ import Maybe               ( isJust )
 
 %************************************************************************
 %*                                                                     *
-                       TyThing
-%*                                                                     *
-%************************************************************************
-
-\begin{code}
-data TyThing = AnId   Id
-            | ATyCon TyCon
-            | AClass Class
-
-isTyClThing :: TyThing -> Bool
-isTyClThing (ATyCon _) = True
-isTyClThing (AClass _) = True
-isTyClThing (AnId   _) = False
-
-instance NamedThing TyThing where
-  getName (AnId id)   = getName id
-  getName (ATyCon tc) = getName tc
-  getName (AClass cl) = getName cl
-\end{code}
-
-
-%************************************************************************
-%*                                                                     *
 \subsection{Stuff to do with kinds.}
 %*                                                                     *
 %************************************************************************