unison/unison-src/transcripts/bug-fix-4354.md

mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
```ucm:hide
scratch/main> builtins.merge
```

```unison
bonk : forall a. a -> a
bonk x =
  zonk : forall a. a -> a
  zonk z = z
  honk : a
  honk = x
  x
```
fix kind inference context bug fixes #4354, #4362 2023-10-31 23:06:05 +03:00			```ucm:hide
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> builtins.merge`
fix kind inference context bug fixes #4354, #4362 2023-10-31 23:06:05 +03:00			```

			```unison
			`bonk : forall a. a -> a`
			`bonk x =`
			`zonk : forall a. a -> a`
			`zonk z = z`
			`honk : a`
			`honk = x`
			`x`
			```