- = returnM (ATyCon (mkForeignTyCon tc_name tc_ext_name liftedTypeKind 0))
-
------------------------------------
-tcKindSigDecl :: Name -> [LHsTyVarBndr Name] -> Kind -> TcM TyThing
-tcKindSigDecl tc_name tvs kind
- = tcTyVarBndrs tvs $ \ tvs' -> do
- { gla_exts <- doptM Opt_GlasgowExts
-
- -- Check that we don't use kind signatures without Glasgow extensions
- ; checkTc gla_exts $ badSigTyDecl tc_name
-
- -- !!!TODO
- -- We need to extend TyCon.TyCon with a new variant representing indexed
- -- type constructors (ie, IdxTyCon). We will use them for both indexed
- -- data types as well as type functions. In the case of indexed *data*
- -- types, they are *abstract*; ie, won't be rewritten. OR do we just want
- -- to make another variant of AlgTyCon (after all synonyms are also
- -- AlgTyCons...)
- -- We need an additional argument to this functions, which determines
- -- whether the type constructor is abstract.
- ; tycon <- error "TcTyClsDecls.tcKindSigDecl: IdxTyCon not implemented yet."
- ; return (ATyCon tycon)
- }