mirror of
https://github.com/python/cpython.git
synced 2024-12-12 03:04:15 +08:00
24d8b88420
This implements PEP 695, Type Parameter Syntax. It adds support for: - Generic functions (def func[T](): ...) - Generic classes (class X[T](): ...) - Type aliases (type X = ...) - New scoping when the new syntax is used within a class body - Compiler and interpreter changes to support the new syntax and scoping rules Co-authored-by: Marc Mueller <30130371+cdce8p@users.noreply.github.com> Co-authored-by: Eric Traut <eric@traut.com> Co-authored-by: Larry Hastings <larry@hastings.org> Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
88 lines
2.0 KiB
C
88 lines
2.0 KiB
C
/* typing accelerator C extension: _typing module. */
|
|
|
|
#ifndef Py_BUILD_CORE
|
|
#define Py_BUILD_CORE
|
|
#endif
|
|
|
|
#include "Python.h"
|
|
#include "internal/pycore_interp.h"
|
|
#include "clinic/_typingmodule.c.h"
|
|
|
|
/*[clinic input]
|
|
module _typing
|
|
|
|
[clinic start generated code]*/
|
|
/*[clinic end generated code: output=da39a3ee5e6b4b0d input=1db35baf1c72942b]*/
|
|
|
|
/* helper function to make typing.NewType.__call__ method faster */
|
|
|
|
/*[clinic input]
|
|
_typing._idfunc -> object
|
|
|
|
x: object
|
|
/
|
|
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_typing__idfunc(PyObject *module, PyObject *x)
|
|
/*[clinic end generated code: output=63c38be4a6ec5f2c input=49f17284b43de451]*/
|
|
{
|
|
return Py_NewRef(x);
|
|
}
|
|
|
|
|
|
static PyMethodDef typing_methods[] = {
|
|
_TYPING__IDFUNC_METHODDEF
|
|
{NULL, NULL, 0, NULL}
|
|
};
|
|
|
|
PyDoc_STRVAR(typing_doc,
|
|
"Accelerators for the typing module.\n");
|
|
|
|
static int
|
|
_typing_exec(PyObject *m)
|
|
{
|
|
PyInterpreterState *interp = PyInterpreterState_Get();
|
|
|
|
#define EXPORT_TYPE(name, typename) \
|
|
if (PyModule_AddObjectRef(m, name, \
|
|
(PyObject *)interp->cached_objects.typename) < 0) { \
|
|
return -1; \
|
|
}
|
|
|
|
EXPORT_TYPE("TypeVar", typevar_type);
|
|
EXPORT_TYPE("TypeVarTuple", typevartuple_type);
|
|
EXPORT_TYPE("ParamSpec", paramspec_type);
|
|
EXPORT_TYPE("ParamSpecArgs", paramspecargs_type);
|
|
EXPORT_TYPE("ParamSpecKwargs", paramspeckwargs_type);
|
|
EXPORT_TYPE("TypeAliasType", typealias_type);
|
|
EXPORT_TYPE("Generic", generic_type);
|
|
#undef EXPORT_TYPE
|
|
return 0;
|
|
}
|
|
|
|
static struct PyModuleDef_Slot _typingmodule_slots[] = {
|
|
{Py_mod_exec, _typing_exec},
|
|
{Py_mod_multiple_interpreters, Py_MOD_PER_INTERPRETER_GIL_SUPPORTED},
|
|
{0, NULL}
|
|
};
|
|
|
|
static struct PyModuleDef typingmodule = {
|
|
PyModuleDef_HEAD_INIT,
|
|
"_typing",
|
|
typing_doc,
|
|
0,
|
|
typing_methods,
|
|
_typingmodule_slots,
|
|
NULL,
|
|
NULL,
|
|
NULL
|
|
};
|
|
|
|
PyMODINIT_FUNC
|
|
PyInit__typing(void)
|
|
{
|
|
return PyModuleDef_Init(&typingmodule);
|
|
}
|