aiken-lang / aiken

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

Discard is not taken into account in backpassing. #890

Closed KtorZ closed 5 months ago

KtorZ commented 5 months ago

What Git revision are you using?

8495f98c1de050d51a6752e9645a5b955fd55195

What operating system are you using, and which version?

Describe what the problem is?

Things like:

let _ <- map(...)

raise an "unused variable" warning.

What should be the expected behavior?

This should be allowed and not trigger a warning.