JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety
MIT License
85 stars 3 forks source link

Check that parent constructors are called #448

Open JSAbrahams opened 1 year ago

JSAbrahams commented 1 year ago

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 commented 1 year ago

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