Skip to content

Fixing tests for mutual recursion analyzer#55

Merged
nikololiahim merged 4 commits intopolystat:masterfrom
nikololiahim:enable_tests
May 21, 2022
Merged

Fixing tests for mutual recursion analyzer#55
nikololiahim merged 4 commits intopolystat:masterfrom
nikololiahim:enable_tests

Conversation

@nikololiahim
Copy link
Copy Markdown
Member

@nikololiahim nikololiahim commented May 20, 2022

This PR fixes the tests of mutual recursion analyzer that got broken after #37.
Incidentally, it updates scalafmt to the latest version and enables the formatting of the Inliner.scala. With this merged, I think it is safe to close #34.

@nikololiahim nikololiahim requested a review from Leosimetti May 20, 2022 18:20
@nikololiahim nikololiahim merged commit bc0ef3a into polystat:master May 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Mutual Recursion Analyzer should be able to resolve relative parent names

2 participants