unison/unison-src/transcripts/fix3171.md
2024-06-25 11:11:07 -07:00

264 B

scratch/main> builtins.merge

Tests an case where decompiling could cause function arguments to occur in the opposite order for partially applied functions.

f : Nat -> Nat -> Nat -> () -> Nat
f x y z _ = x + y * z

> f 1 2
> f 1 2 3