search

savi-lang / savi

A fast language for programmers who are passionate about their craft.
BSD 3-Clause "New" or "Revised" License
157 stars 12 forks source link

Fix type check for parameters of elevated-cap constructor. #304

Closed jemc closed 2 years ago

jemc commented 2 years ago

Prior to this change, the compiler was wrongly allowing iso constructors to take non-sendable arguments, and preventing box constructors from taking them.

To fix this issue, the direction of subtype checking was reversed in this particular check in the TypeCheck pass of the compiler.