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

Compiler crashes when encountering when/is with a single clause #305

Closed
Tracked by #191
micahkendall opened this issue Jan 22, 2023 · 4 comments
Closed
Tracked by #191
Labels
code gen Untyped Plutus Core code generation
Milestone

Comments

@micahkendall
Copy link
Member

micahkendall commented Jan 22, 2023

What Git revision are you using?

Aiken e36f91c

What operating system are you using, and which version?

  • NixOs

Describe what the problem is?

Compiler produces these errors on seemingly valid code:

  1. https://github.com/micahkendall/actor-model/tree/1f9bca3ba66d60a42f3b70a6d275797718c4392d
Error: 
  × Main thread panicked.
  ├─▶ at /home/micah/Desktop/aiken/crates/aiken-project/src/lib.rs:565:36
  ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "actor_model/policy_nonterminate_data_data_bytearray_data_unbound_data_data", unique: Unique(24) })
  1. https://github.com/micahkendall/actor-model/tree/4e08ceb306e0027520748afa4635ce6e1cde31b6
Main thread panicked.
  ├─▶ at crates/aiken-lang/src/uplc.rs:3522:48
  ╰─▶ called `Option::unwrap()` on a `None` value

In pulling this repo to either commit, then use 'aiken build' / 'cargo run -- build', produces said errors.

What should be the expected behavior?

Compiles and produces build output.

@micahkendall
Copy link
Member Author

  1. Has been minimalized into an acceptance test Added 048 acceptance test #306

Still unsure why 1. fails

@MicroProofs
Copy link
Member

Number 1 and 2 stem from the same when single case issue.

@KtorZ
Copy link
Member

KtorZ commented Jan 24, 2023

Closed by #306

Nevermind. Misread the issue.

@KtorZ KtorZ closed this as completed Jan 24, 2023
@KtorZ KtorZ reopened this Jan 24, 2023
@KtorZ KtorZ added the code gen Untyped Plutus Core code generation label Jan 26, 2023
@KtorZ KtorZ added this to the Language PoC milestone Jan 26, 2023
@KtorZ KtorZ mentioned this issue Jan 26, 2023
27 tasks
@KtorZ KtorZ changed the title Compiler errors Compiler crashes when encountering when/is with a single clause Jan 26, 2023
@rvcas
Copy link
Member

rvcas commented Feb 1, 2023

@rvcas rvcas closed this as completed Feb 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
code gen Untyped Plutus Core code generation
Projects
Status: 🚀 Released
Development

No branches or pull requests

4 participants