Skip to content

Add 3.12 typing features to the compiler #5302

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
youknowone merged 16 commits into from
May 10, 2024
Merged

Add 3.12 typing features to the compiler #5302

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
61a5c9b
Add first draft of typing.rs
dchiquito May 6, 2024
f6a5c12
Split up compiler push_output
dchiquito May 7, 2024
46a7d2c
Add type params to function definitions
dchiquito May 7, 2024
a0f6d5f
Add type params to class definitions
dchiquito May 7, 2024
df8b2c2
Add type params to type alias statements
dchiquito May 7, 2024
bfa18d2
Add TypeVar bytecodes
dchiquito May 7, 2024
42111ae
Add various Types to frame.rs
dchiquito May 7, 2024
d6261f5
Add _typing module to stdlib
dchiquito May 7, 2024
55f916c
Add _typing to default imports
dchiquito May 7, 2024
3d263a0
Remove unused comment
dchiquito May 7, 2024
2d97503
Fix clippy lints
dchiquito May 7, 2024
a230ca3
Use empty_tuple singleton in execute_make_function
dchiquito May 9, 2024
55e37f8
Update bytecode LAST_INSTRUCTION comments
dchiquito May 9, 2024
2f01963
Merge branch 'main' into typing-draft
dchiquito May 9, 2024
c907a4d
Switch emit_constant to emit_load_const
dchiquito May 9, 2024
ed30604
Remove unwrap
youknowone May 10, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Fix clippy lints
  • Loading branch information
@dchiquito
dchiquito committed May 7, 2024
commit 2d97503b07bbbc10db848d3877f0f513464a9e3a
1 change: 0 additions & 1 deletion vm/src/frame.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1189,7 +1189,6 @@ impl ExecutingFrame<'_> {
}
bytecode::Instruction::TypeAlias => {
let name = self.pop_value();
let x = self.state.stack.last();
let type_params: PyTupleRef = self
.pop_value()
.downcast()
Expand Down
41 changes: 12 additions & 29 deletions vm/src/stdlib/typing.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,43 +2,26 @@ pub(crate) use _typing::make_module;

#[pymodule]
pub(crate) mod _typing {
use std::cell::Cell;

use crate::{
atomic_func,
builtins::{
pystr::AsPyStr, PyFrozenSet, PyGenericAlias, PyStr, PyTuple, PyTupleRef, PyType,
PyTypeRef,
},
class::PyClassImpl,
common::hash,
convert::{ToPyObject, ToPyResult},
function::PyComparisonValue,
function::{Either, FuncArgs, IntoFuncArgs, OptionalArg},
protocol::{PyMappingMethods, PyNumberMethods},
types::PyStructSequence,
types::{
AsMapping, AsNumber, Comparable, GetAttr, Hashable, PyComparisonOp, Representable,
},
AsObject, Context, Py, PyObject, PyObjectRef, PyPayload, PyRef, PyResult, TryFromObject,
VirtualMachine,
builtins::{pystr::AsPyStr, PyGenericAlias, PyTupleRef, PyTypeRef},
function::IntoFuncArgs,
PyObjectRef, PyPayload, PyResult, VirtualMachine,
};
use once_cell::sync::Lazy;

pub(crate) fn call_typing_func_object<'a>(
vm: &VirtualMachine,
func_name: impl AsPyStr<'a>,
args: impl IntoFuncArgs,
pub(crate) fn _call_typing_func_object<'a>(
_vm: &VirtualMachine,
_func_name: impl AsPyStr<'a>,
_args: impl IntoFuncArgs,
) -> PyResult {
todo!("does this work????");
let module = vm.import("typing", 0)?;
// let module = vm.import("typing", 0)?;
// let module = vm.import("_pycodecs", None, 0)?;
let func = module.get_attr(func_name, vm)?;
func.call(args, vm)
// let func = module.get_attr(func_name, vm)?;
// func.call(args, vm)
}

#[pyattr]
pub(crate) fn _idfunc(vm: &VirtualMachine) {}
pub(crate) fn _idfunc(_vm: &VirtualMachine) {}

#[pyattr]
#[pyclass(name = "TypeVar")]
Expand All @@ -56,7 +39,7 @@ pub(crate) mod _typing {
}
#[pyclass(flags(BASETYPE))]
impl TypeVar {
pub(crate) fn bound(&self, vm: &VirtualMachine) -> PyResult {
pub(crate) fn _bound(&self, vm: &VirtualMachine) -> PyResult {
let mut bound = self.bound.lock();
if !vm.is_none(&bound) {
return Ok(bound.clone());
Expand Down