Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Toposort on modules #1268

Merged
merged 15 commits into from
Nov 27, 2023
Merged

Toposort on modules #1268

merged 15 commits into from
Nov 27, 2023

Conversation

konnov
Copy link
Contributor

@konnov konnov commented Nov 24, 2023

Closes #1108. Closes #1009. This is a refactoring of module sorting in phase 2. The new code simply delegates module sorting to the toposort. I find this solution to be much nicer and the code to be much cleaner.

  • Tests added for any new code
  • Entries added to the respective CHANGELOG.md for any new functionality

@konnov konnov changed the title Igor/sort modules1009 Toposort on modules Nov 24, 2023
@konnov konnov marked this pull request as ready for review November 24, 2023 15:48
@konnov konnov requested review from bugarela, shonfeder and thpani and removed request for bugarela and shonfeder November 24, 2023 15:48
@konnov konnov self-assigned this Nov 24, 2023
@konnov konnov added refactoring feedback User feedback labels Nov 24, 2023
quint/src/parsing/quintParserFrontend.ts Outdated Show resolved Hide resolved
@shonfeder
Copy link
Contributor

Looks great. Just one, non-blocking suggestion from me.

@konnov konnov enabled auto-merge (squash) November 27, 2023 08:53
@konnov konnov merged commit 5235ef8 into main Nov 27, 2023
@konnov konnov deleted the igor/sort-modules1009 branch November 27, 2023 10:14
@shonfeder shonfeder mentioned this pull request Dec 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feedback User feedback
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Cyclic imports Sort modules according to import/export dependencies
3 participants