unison/unison-src/transcripts/check763.md

Regression test for https://github.com/unisonweb/unison/issues/763

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

```unison
(+-+) : Nat -> Nat -> Nat
(+-+) x y = x * y
```

```ucm
scratch/main> add
scratch/main> move.term +-+ boppitybeep
scratch/main> move.term boppitybeep +-+
```
Regression test for #763 2020-04-15 23:43:42 +03:00			`Regression test for https://github.com/unisonweb/unison/issues/763`

			```ucm:hide
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> builtins.merge`
Regression test for #763 2020-04-15 23:43:42 +03:00			```

			```unison
			`(+-+) : Nat -> Nat -> Nat`
			`(+-+) x y = x * y`
			```

			```ucm
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> add`
			`scratch/main> move.term +-+ boppitybeep`
			`scratch/main> move.term boppitybeep +-+`
Regression test for #763 2020-04-15 23:43:42 +03:00			```