search

hawkw / decaf

like Java, but less so
hawkweisman.me/decaf
Other
18 stars 4 forks source link

Class inheritence never checked #46

Closed ArcticLight closed 9 years ago

ArcticLight commented 10 years ago

Classes never check the existence or the correctness of their inherited superclass.

For this issue, classes must check that their inherited superclass exists.

hawkw commented 10 years ago

What does verifyClassChain() do?

ArcticLight commented 10 years ago

verifyClassChain()'s only responsibility is to verify that, in the inheritence heirarchy, there are no cycles of the type B extends A extends B

ArcticLight commented 10 years ago

verifyClassChain() could actually probably be moved to a much better place in the code and test better things; it was originally only present because of Checkpoint Spec

ArcticLight commented 10 years ago

^ I made an edit to the description; For this issue, we need to make classes explicitly check that their superclass exists.

hawkw commented 9 years ago

What's this line doing, then?

hawkw commented 9 years ago

Fixed as of 67d34f3