Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Check that parents exist of classes #460

Draft
wants to merge 3 commits into
base: develop
Choose a base branch
from
Draft

Check that parents exist of classes #460

wants to merge 3 commits into from

Conversation

JSAbrahams
Copy link
Owner

Relevant issues

Summary

Added Tests

JSAbrahams and others added 3 commits January 22, 2023 22:13
@JSAbrahams
Class inherits parents fields and functions (#447)
423f6ce 
* Classes inherit all from parent

- Remove INIT token
- in uses __contains__ magic method
- Remove Mamba specific magic methods

* Filter out parent fields in assign check
@JSAbrahams
Check assigned to in if and match branches (#451)
d8e4a9b 
* Check assigned to in if and match branches

* Use intersection in if branches
@JSAbrahams
[ci skip] Add check for if parent exists
9c2470a 
We now run into issue that generics are undefined
in parents.
Therefore, we must ignore such checks with
generics.
@JSAbrahams JSAbrahams added the bug: check Something in the type check module isn't working (as intended) label Feb 4, 2023
@JSAbrahams JSAbrahams added this to the v0.3.7 | Type alias milestone Feb 4, 2023
@JSAbrahams JSAbrahams self-assigned this Feb 4, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@JSAbrahams JSAbrahams

Labels
bug: check Something in the type check module isn't working (as intended)
Projects
None yet
Milestone
v0.3.7 | Type alias
Development

Successfully merging this pull request may close these issues.
1 participant
@JSAbrahams