mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 05:20:46 +03:00
185 B
185 B
Tests for a case where bad eta reduction was causing erroneous watch output/caching.
scratch/main> builtins.merge
sqr : Nat -> Nat
sqr n = n * n
> sqr