unison/unison-src/transcripts/fix2663.md

Tests a variable capture problem.

After pattern compilation, the match would end up:

    T p1 p3 p3

and z would end up referring to the first p3 rather than the second.

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

```unison
structural type Trip = T Nat Nat Nat

bad : Nat -> (Nat, Nat)
bad x = match Some (Some x) with
  Some (Some x) -> match T 3 4 5 with
    T _ _ z -> (x, z)
  _ -> (0,0)

> bad 2
```
Fix a variable capture issue in pattern compilation 2021-11-24 08:43:22 +03:00			`Tests a variable capture problem.`

			`After pattern compilation, the match would end up:`

Fix a few transcripts with incorrect Markdown These weren’t errors in any way, but the `cmark`-produced outputs made it clear that some of our transcripts weren’t formatted the way we intended. 2024-07-10 19:27:02 +03:00			`T p1 p3 p3`
Fix a variable capture issue in pattern compilation 2021-11-24 08:43:22 +03:00
			`and z would end up referring to the first p3 rather than the second.`

			```ucm:hide
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> builtins.merge`
Fix a variable capture issue in pattern compilation 2021-11-24 08:43:22 +03:00			```

			```unison
			`structural type Trip = T Nat Nat Nat`

			`bad : Nat -> (Nat, Nat)`
			`bad x = match Some (Some x) with`
			`Some (Some x) -> match T 3 4 5 with`
			`T _ _ z -> (x, z)`
			`_ -> (0,0)`

			`> bad 2`
			```