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.

Sign up for GitHub

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

Jump to bottom

Improve AST to ANF transformation #23

Merged
merged 7 commits into from
Dec 7, 2023
Merged

Improve AST to ANF transformation #23

merged 7 commits into from
Dec 7, 2023

Conversation

AzimMuradov
Copy link
Owner

New features:

  • Add Closure Conversion (CC)
  • Add Lambda Lifting (LL)
  • Add AST Simplifier
  • Use int64 as a int representation

Updates:

  • Refactor AST and other program representations
  • Update tests

@AzimMuradov
Refactor AST
1beae1d 
- Clean up `Parser` modules
- Update `StdLib`
- Add `Trees.Common`
- Update tests
@AzimMuradov
Add AST simplification
f3df332 
- Add `SimplifiedAst`
- Add `SimplifyAst`
- Add `Utils`
@AzimMuradov
Add closure conversion
fc3f861
@AzimMuradov
Update relabeler
3f82491
@AzimMuradov
Add lambda lifting
797f9c5 
- Add lambda-free representation (`Lfr`)
- Add lambda lifting (`Ll`)
@AzimMuradov
Update Anf
0fc9e80 
- Update cabal build script
- Simplify `Anf` tree
- Remove old modules, replace them with the new solution
@AzimMuradov
Refactor the code
b66764f
@AzimMuradov AzimMuradov added the enhancement New feature or request label Dec 7, 2023
@AzimMuradov AzimMuradov self-assigned this Dec 7, 2023
Alexander-Zadorozhnyy
Alexander-Zadorozhnyy approved these changes Dec 7, 2023
View reviewed changes
Copy link
Collaborator

@Alexander-Zadorozhnyy Alexander-Zadorozhnyy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Excellent

@AzimMuradov AzimMuradov merged commit c194626 into task-3 Dec 7, 2023
1 check passed
@AzimMuradov AzimMuradov deleted the ast-to-anf branch December 7, 2023 11:16
@AzimMuradov AzimMuradov restored the ast-to-anf branch December 7, 2023 11:17
@AzimMuradov AzimMuradov deleted the ast-to-anf branch December 7, 2023 11:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Alexander-Zadorozhnyy Alexander-Zadorozhnyy Alexander-Zadorozhnyy approved these changes

Assignees

@AzimMuradov AzimMuradov

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@AzimMuradov @Alexander-Zadorozhnyy