#include "HsVersions.h"
-import Type ( Kind )
-import Coercion ( Coercion )
import TypeRep ( TyThing(..), Type(..), PredType(..), ThetaType,
unliftedTypeKindTyConName, openTypeKindTyConName,
ubxTupleKindTyConName, argTypeKindTyConName,
- liftedTypeKindTyConName, isLiftedTypeKind )
+ liftedTypeKindTyConName )
import TyCon ( TyCon, isTupleTyCon, tyConArity, tupleTyConBoxity, tyConName )
import Var ( isId, tyVarKind, idType )
import TysWiredIn ( listTyConName, parrTyConName, tupleTyCon, intTyConName, charTyConName, boolTyConName )
type IfaceContext = [IfacePredType]
+-- NB: If you add a data constructor, remember to add a case to
+-- IfaceSyn.eqIfTc!
data IfaceTyCon -- Abbreviations for common tycons with known names
= IfaceTc IfaceExtName -- The common case
| IfaceIntTc | IfaceBoolTc | IfaceCharTc