removal index (is 1) should be < len (is 1)

[waalge]

What Git revision are you using?

aiken v1.1.0+0a8f1f4

What operating system are you using, and which version?

nixos

Describe what the problem is?

From https://github.com/aiken-lang/fuzz/tree/waalge/try-aiken-1-1-0

$aiken check
    Compiling aiken-lang/fuzz 1.0.0 (/home/waalge/x/kompact/fuzz)
    Compiling aiken-lang/stdlib 2.0.0 (/home/waalge/x/kompact/fuzz/build/packages/aiken-lang-stdlib)

   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.1.0+0a8f1f4

   crates/aiken-lang/src/gen_uplc/builder.rs:559:38

       removal index (is 1) should be < len (is 1)

What should be the expected behavior?

[waalge]

More specifically :

aiken check -m prop_set_between_distribution

[KtorZ]

Sadly, a known issue that coming from an optimization on recursive static function. For now, the work-around is to rebase on top of: aiken-lang/fuzz@3f5e5dd and avoid anonymous recursive functions with static arguments.