unison/unison-src/transcripts/fix2156.md


Tests for a case where bad eta reduction was causing erroneous watch
output/caching.

```ucm:hide
scratch/main> builtins.merge
```

```unison
sqr : Nat -> Nat
sqr n = n * n

> sqr
```
Guard against improper eta reductions - The eta reducer was converting `x -> f x x` to `f x` 2021-11-11 01:35:27 +03:00
			`Tests for a case where bad eta reduction was causing erroneous watch`
			`output/caching.`

			```ucm:hide
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> builtins.merge`
Guard against improper eta reductions - The eta reducer was converting `x -> f x x` to `f x` 2021-11-11 01:35:27 +03:00			```

			```unison
			`sqr : Nat -> Nat`
			`sqr n = n * n`

			`> sqr`
			```