aiken-lang / aiken

A modern smart contract platform for Cardano
https://aiken-lang.org
Apache License 2.0
454 stars 84 forks source link

Codegen Whoops in complex property test #866

Closed Quantumplation closed 6 months ago

Quantumplation commented 6 months ago

What Git revision are you using?

main

What operating system are you using, and which version?

Describe what the problem is?

   aiken::fatal::error
   Whoops! You found a bug in the Aiken compiler.

   Please report this error at https://github.com/aiken-lang/aiken/issues/new.
   In your bug report please provide the information below and if possible the code
   that produced it.

   Operating System: linux
   Architecture:     x86_64
   Version:          v1.0.24-alpha+c51741c

   crates/aiken-lang/src/gen_uplc.rs:4193:72

       called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "list_bytearray", unique: Unique(2090) })

When running aiken check on this branch. Not sure exactly what's causing it, but the most recent thing I wrote is the test_case method in lib/tests/ex_multisig.ak

What should be the expected behavior?

Not crash

MicroProofs commented 6 months ago

Found the issue was with function aliases. Gonna push up a fix

MicroProofs commented 6 months ago

Closed by b761d6a