search

aiken-lang / aiken

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

Illustrate new failing scenario with multi-arg function identifiers #996

Closed KtorZ closed 2 months ago

KtorZ commented 2 months ago

As far as I could tell, this behavior is only observed when the arity of the function is higher than 1. It's fine for single-arg functions somehow.

MicroProofs commented 2 months ago

I decided to separate out what I did in soft casting. So I'll make the commit fix here.