2023-11-13 23:23:57 +03:00
|
|
|
```ucm:hide
|
2024-04-15 02:39:20 +03:00
|
|
|
proj/main> builtins.merge lib.builtin
|
2023-11-13 23:23:57 +03:00
|
|
|
```
|
|
|
|
|
|
|
|
```unison
|
|
|
|
lib.old.foo = 17
|
|
|
|
lib.new.foo = +18
|
|
|
|
thingy = lib.old.foo + 10
|
|
|
|
```
|
|
|
|
|
|
|
|
```ucm
|
|
|
|
proj/main> add
|
|
|
|
```
|
|
|
|
|
|
|
|
```ucm:error
|
|
|
|
proj/main> upgrade old new
|
|
|
|
```
|
2024-05-20 19:09:00 +03:00
|
|
|
|
|
|
|
Resolve the error and commit the upgrade.
|
|
|
|
|
|
|
|
```unison
|
|
|
|
thingy = foo + +10
|
|
|
|
```
|
|
|
|
|
|
|
|
```ucm
|
2024-05-23 15:26:52 +03:00
|
|
|
proj/upgrade-old-to-new> update
|
2024-05-20 19:09:00 +03:00
|
|
|
proj/upgrade-old-to-new> upgrade.commit
|
|
|
|
proj/main> view thingy
|
|
|
|
proj/main> ls lib
|
2024-05-20 21:13:04 +03:00
|
|
|
proj/main> branches
|
2024-05-20 19:09:00 +03:00
|
|
|
```
|