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

BUG: UPLC that doesn't follow i_unique naming convention for variables sometimes convert to Program<DeBruijn> incorrectly #10

Closed
MitchTurner opened this issue Jun 20, 2022 · 0 comments · Fixed by #12
Assignees
Labels
bug Something isn't working parsing Parser work uplc Relates to Untyped Plutus Core

Comments

@MitchTurner
Copy link
Contributor

The raw UPLC
https://github.com/input-output-hk/plutus/blob/ab3d01280109c1b5d1522f9bae475f5984fbc055/plutus-conformance/uplc/evaluation/example/fibonacci/fibonacci.uplc
doesn't parse correctly OR it doesn't get converted to DeBruijn correctly. The plan is to ignore the test for now and to add a TODO to the code with a link to this BUG.

Repro:
We've isolated this to a one_way_fibonacci test here:
#9

Expected Behavior:
The naming convention shouldn't affect the parser and it should look the same once converted to Program<DeBruijn> no matter the names.

@rvcas rvcas closed this as completed in #12 Jun 27, 2022
@rvcas rvcas added bug Something isn't working uplc Relates to Untyped Plutus Core parsing Parser work labels Oct 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working parsing Parser work uplc Relates to Untyped Plutus Core
Projects
Status: 🚀 Released
Development

Successfully merging a pull request may close this issue.

3 participants