Skip to content
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

Jump to bottom

Check that parent constructors are called #448

Open
JSAbrahams opened this issue Jan 22, 2023 · 1 comment
Open

Check that parent constructors are called #448

JSAbrahams opened this issue Jan 22, 2023 · 1 comment
Assignees
@JSAbrahams
Labels
bug: check Something in the type check module isn't working (as intended)
Milestone
v0.3.7 | Type alias

Comments

@JSAbrahams
Copy link
Owner

Description of Bug

We make no check that parent constructors are called.
This can result in situations where fields are unassigned to of parent classes.

Expected behavior

Just as with the unassigned fields, there should be a check that parent constructors are assigned to.
@JSAbrahams JSAbrahams added the bug: check Something in the type check module isn't working (as intended) label Jan 22, 2023
@JSAbrahams JSAbrahams added this to the v0.3.7 | Type alias milestone Jan 22, 2023
@JSAbrahams JSAbrahams self-assigned this Jan 22, 2023
@JSAbrahams JSAbrahams mentioned this issue Jan 22, 2023
Merged
@JSAbrahams
Copy link
Owner Author

Very closely related to #304
Though this is a more general issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
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

No branches or pull requests
1 participant
@JSAbrahams