alphaTyVars, betaTyVars, alphaTyVar, betaTyVar, gammaTyVar, deltaTyVar,
alphaTy, betaTy, gammaTy, deltaTy,
openAlphaTy, openBetaTy, openAlphaTyVar, openBetaTyVar, openAlphaTyVars,
+ argAlphaTy, argAlphaTyVar, argBetaTy, argBetaTyVar,
primTyCons,
word64PrimTyCon, word64PrimTy,
-- * Any
- anyTyCon, anyType, anyTyConOfKind, anyTypeOfKind
+ anyTyCon, anyTyConOfKind, anyTypeOfKind
) where
#include "HsVersions.h"
import OccName ( mkTyVarOccFS, mkTcOccFS )
import TyCon ( TyCon, mkPrimTyCon, mkLiftedPrimTyCon, mkAnyTyCon )
import Type
+import Coercion
import SrcLoc
import Unique ( mkAlphaTyVarUnique )
import PrelNames
openAlphaTy, openBetaTy :: Type
openAlphaTy = mkTyVarTy openAlphaTyVar
-openBetaTy = mkTyVarTy openBetaTyVar
+openBetaTy = mkTyVarTy openBetaTyVar
+
+argAlphaTyVar, argBetaTyVar :: TyVar
+(argAlphaTyVar : argBetaTyVar : _) = tyVarList argTypeKind
+argAlphaTy, argBetaTy :: Type
+argAlphaTy = mkTyVarTy argAlphaTyVar
+argBetaTy = mkTyVarTy argBetaTyVar
\end{code}
Although Any(*->*), say, doesn't have a binding site, it still needs
to have a Unique. Unlike tuples (which are also an infinite family)
there is no convenient way to index them, so we use the Unique from
-their OccName instead. That should be unique! (But in principle we
-must take care: it does not include the module/package.)
+their OccName instead. That should be unique,
+ - both wrt each other, because their strings differ
+
+ - and wrt any other Name, because Names get uniques with
+ various 'char' tags, but the OccName of Any will
+ get a Unique built with mkTcOccUnique, which has a particular 'char'
+ tag; see Unique.mkTcOccUnique!
Note [Strangely-kinded void TyCons]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
anyTyCon :: TyCon
anyTyCon = mkLiftedPrimTyCon anyTyConName liftedTypeKind 0 PtrRep
-anyType :: Type
-anyType = mkTyConApp anyTyCon []
-
anyTypeOfKind :: Kind -> Type
-anyTypeOfKind kind
- | isLiftedTypeKind kind = anyType
- | otherwise = mkTyConApp (mk_any_tycon kind) []
+anyTypeOfKind kind = mkTyConApp (anyTyConOfKind kind) []
anyTyConOfKind :: Kind -> TyCon
+-- Map all superkinds of liftedTypeKind to liftedTypeKind
anyTyConOfKind kind
- | isLiftedTypeKind kind = anyTyCon
- | otherwise = mk_any_tycon kind
-
-mk_any_tycon :: Kind -> TyCon
-mk_any_tycon kind -- Kind other than *
- = tycon
+ | liftedTypeKind `isSubKind` kind = anyTyCon
+ | otherwise = tycon
where
-- Derive the name from the kind, thus:
-- Any(*->*), Any(*->*->*)