2022-09-21 20:32:59 +03:00
|
|
|
Update a member of a cycle with a type-changing update, thus severing the cycle.
|
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
``` ucm :hide
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> builtins.merge
|
2022-09-21 20:32:59 +03:00
|
|
|
```
|
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
``` unison
|
2022-09-21 20:32:59 +03:00
|
|
|
ping : 'Nat
|
|
|
|
ping _ = !pong + 1
|
|
|
|
|
|
|
|
pong : 'Nat
|
|
|
|
pong _ = !ping + 2
|
|
|
|
```
|
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> add
|
2022-09-21 20:32:59 +03:00
|
|
|
```
|
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
``` unison
|
2022-09-21 20:32:59 +03:00
|
|
|
ping : Nat
|
|
|
|
ping = 3
|
|
|
|
```
|
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> update.old
|
|
|
|
scratch/main> view ping pong
|
2022-09-21 20:32:59 +03:00
|
|
|
```
|