Open Issues Need Help
View All on GitHub Merge `ExpectType` with `HasType` 2 months ago
AI Summary: The task involves merging the `ExpectType` trait into the existing `HasType` trait within the Polarity programming language project. This likely requires refactoring code to integrate the functionality of `expect_typ` into `HasType` while maintaining the overall functionality and correctness of the type system.
Complexity:
4/5
good first issue refactor
AI Summary: The Polarity test runner needs to be improved. Currently, when the `--update-expected` flag is used and a test fails for reasons other than unexpected output, the actual error is not displayed. The task is to modify the test runner to display the underlying error message even when updating expected outputs, providing more informative feedback to developers.
Complexity:
4/5
bug good first issue