Conversation
WalkthroughThis change introduces explicit subtype and type identity checks for Python types in the VM, adding helper functions and methods for efficient MRO-based subtype checking. It also refactors class and subclass checking logic in Changes
Sequence Diagram(s)sequenceDiagram
participant Caller
participant PyObject
participant PyType
participant VM
Caller->>PyObject: real_is_instance(cls, vm)
PyObject->>PyObject: check_class(vm, msg)
alt cls is PyType
PyObject->>PyType: is_subtype(other)
PyType-->>PyObject: bool
else cls has __bases__ (tuple)
PyObject->>PyObject: abstract_get_bases(vm)
PyObject->>PyObject: abstract_issubclass(cls, vm)
end
PyObject-->>Caller: result
Possibly related PRs
Poem
📜 Recent review detailsConfiguration used: CodeRabbit UI 📒 Files selected for processing (1)
🚧 Files skipped from review as they are similar to previous changes (1)
⏰ Context from checks skipped due to timeout of 90000ms (11)
✨ Finishing Touches
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. 🪧 TipsChatThere are 3 ways to chat with CodeRabbit:
SupportNeed help? Create a ticket on our support page for assistance with any issues or questions. Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments. CodeRabbit Commands (Invoked using PR comments)
Other keywords and placeholders
CodeRabbit Configuration File (
|
Summary by CodeRabbit
New Features
Refactor