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 unrenaming from the PIR generators #6084

Closed
effectfully opened this issue May 22, 2024 · 1 comment
Closed

Remove unrenaming from the PIR generators #6084

effectfully opened this issue May 22, 2024 · 1 comment
Labels
Low priority Doesn't require immediate attention Plutus IR status: triaged Type checking

Comments

@effectfully
Copy link
Contributor

QuviQ had a trouble using our PIR type checker with their PIR terms generator: they had to do introduce unrenaming of escaped data type variables, we couldn't figure out a way of avoiding that and so we now have to maintain that disgusting unrenaming in there. Can we do any better? We've had quite a lot of discussion on the Plutus mailing list about the topic (thread for those who have access), but nothing really came out of it. Perhaps we're stuck with this nonsense forever.
@effectfully
Copy link
Contributor Author

Closed in favor of #6531.

@effectfully effectfully mentioned this issue Oct 2, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Low priority Doesn't require immediate attention Plutus IR status: triaged Type checking
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@effectfully