projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
adapt HetMet extensions to new GHC coercion representation
[ghc-hetmet.git]
/
compiler
/
prelude
/
TysPrim.lhs
diff --git
a/compiler/prelude/TysPrim.lhs
b/compiler/prelude/TysPrim.lhs
index
4c70bcb
..
5cacacd
100644
(file)
--- a/
compiler/prelude/TysPrim.lhs
+++ b/
compiler/prelude/TysPrim.lhs
@@
-27,6
+27,7
@@
module TysPrim(
liftedTypeKind, unliftedTypeKind, openTypeKind,
argTypeKind, ubxTupleKind,
mkArrowKind, mkArrowKinds, isCoercionKind,
liftedTypeKind, unliftedTypeKind, openTypeKind,
argTypeKind, ubxTupleKind,
mkArrowKind, mkArrowKinds, isCoercionKind,
+ ecKind,
funTyCon, funTyConName,
primTyCons,
funTyCon, funTyConName,
primTyCons,
@@
-74,8
+75,6
@@
import Name ( Name, BuiltInSyntax(..), mkInternalName, mkWiredInName )
import OccName ( mkTcOcc,mkTyVarOccFS, mkTcOccFS )
import TyCon
import TypeRep
import OccName ( mkTcOcc,mkTyVarOccFS, mkTcOccFS )
import TyCon
import TypeRep
-import Type
-import Coercion
import SrcLoc
import Unique ( mkAlphaTyVarUnique )
import PrelNames
import SrcLoc
import Unique ( mkAlphaTyVarUnique )
import PrelNames
@@
-177,6
+176,8
@@
tyVarList kind = [ mkTyVar (mkInternalName (mkAlphaTyVarUnique u)
where c = chr (u-2 + ord 'a')
]
where c = chr (u-2 + ord 'a')
]
+ecKind = liftedTypeKind `mkArrowKind` (liftedTypeKind `mkArrowKind` liftedTypeKind)
+
ecTyVars :: [TyVar]
ecTyVars = tyVarList ecKind
ecTyVars :: [TyVar]
ecTyVars = tyVarList ecKind