diff options
| author | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2011-11-21 10:47:44 +0000 |
|---|---|---|
| committer | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2011-11-21 14:57:06 +0000 |
| commit | 18c7aea07ad085dc341e4d89d7224f223cc9d4e5 (patch) | |
| tree | a04caa29f3af96b449ac42206d0b44aba65a05ea /compiler/prelude/TysPrim.lhs | |
| parent | 5e5d2bae42699f22ca81e0c1a74aa29825f96535 (diff) | |
| download | haskell-18c7aea07ad085dc341e4d89d7224f223cc9d4e5.tar.gz | |
Rename ? to OpenKind and ?? to ArgKind
The previous names were not informative at all, and now we have
named kinds like Constraint and datatype promotion to kind, so
we might as well name these too.
I tried to update some comments to the new names, but certainly
many references to the old names remain.
Diffstat (limited to 'compiler/prelude/TysPrim.lhs')
| -rw-r--r-- | compiler/prelude/TysPrim.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/prelude/TysPrim.lhs b/compiler/prelude/TysPrim.lhs index 1223d46196..98ee6c426d 100644 --- a/compiler/prelude/TysPrim.lhs +++ b/compiler/prelude/TysPrim.lhs @@ -303,10 +303,10 @@ constraintKindTyCon = mkKindTyCon constraintKindTyConName tySuperKind tySuperKindTyConName = mkPrimTyConName (fsLit "BOX") tySuperKindTyConKey tySuperKindTyCon anyKindTyConName = mkPrimTyConName (fsLit "AnyK") anyKindTyConKey anyKindTyCon liftedTypeKindTyConName = mkPrimTyConName (fsLit "*") liftedTypeKindTyConKey liftedTypeKindTyCon -openTypeKindTyConName = mkPrimTyConName (fsLit "?") openTypeKindTyConKey openTypeKindTyCon +openTypeKindTyConName = mkPrimTyConName (fsLit "OpenKind") openTypeKindTyConKey openTypeKindTyCon unliftedTypeKindTyConName = mkPrimTyConName (fsLit "#") unliftedTypeKindTyConKey unliftedTypeKindTyCon ubxTupleKindTyConName = mkPrimTyConName (fsLit "(#)") ubxTupleKindTyConKey ubxTupleKindTyCon -argTypeKindTyConName = mkPrimTyConName (fsLit "??") argTypeKindTyConKey argTypeKindTyCon +argTypeKindTyConName = mkPrimTyConName (fsLit "ArgKind") argTypeKindTyConKey argTypeKindTyCon constraintKindTyConName = mkPrimTyConName (fsLit "Constraint") constraintKindTyConKey constraintKindTyCon mkPrimTyConName :: FastString -> Unique -> TyCon -> Name |