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

Remove removal of function applications in cameLIGO pretty printer #97

Open
mikkelmilo opened this issue May 28, 2021 · 0 comments
Open

Remove removal of function applications in cameLIGO pretty printer #97

mikkelmilo opened this issue May 28, 2021 · 0 comments
Assignees
@annenkov
Labels
part: CameLIGO Issues and PRs related to CameLIGO extraction type: enhancement Enhancement to an existing feature

Comments

@mikkelmilo
Copy link
Collaborator

After inlining has been added, the translation (f "") -> f is no longer necessary, so it should be removed.
@mikkelmilo mikkelmilo self-assigned this May 28, 2021
@annenkov annenkov assigned annenkov and unassigned mikkelmilo Mar 15, 2022
@4ever2 4ever2 added type: enhancement Enhancement to an existing feature part: CameLIGO Issues and PRs related to CameLIGO extraction labels May 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@annenkov annenkov

Labels
part: CameLIGO Issues and PRs related to CameLIGO extraction type: enhancement Enhancement to an existing feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@annenkov @4ever2 @mikkelmilo