2024-07-10 17:46:18 +03:00
|
|
|
``` unison
|
2023-12-08 22:56:03 +03:00
|
|
|
lib.foo0.lib.bonk1.bar = 203
|
|
|
|
lib.foo0.baz = 1
|
|
|
|
lib.foo1.zonk = 204
|
|
|
|
lib.foo1.lib.bonk2.qux = 1
|
|
|
|
mybar = bar + bar
|
|
|
|
```
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2023-12-08 22:56:03 +03:00
|
|
|
|
2023-12-22 14:55:24 +03:00
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
|
2023-12-08 22:56:03 +03:00
|
|
|
I found and typechecked these definitions in scratch.u. If you
|
|
|
|
do an `add` or `update`, here's how your codebase would
|
|
|
|
change:
|
|
|
|
|
|
|
|
⍟ These new definitions are ok to `add`:
|
|
|
|
|
|
|
|
lib.foo0.baz : Nat
|
|
|
|
lib.foo0.lib.bonk1.bar : Nat
|
|
|
|
lib.foo1.lib.bonk2.qux : Nat
|
|
|
|
lib.foo1.zonk : Nat
|
|
|
|
mybar : Nat
|
|
|
|
|
|
|
|
```
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2023-12-08 22:56:03 +03:00
|
|
|
myproj/main> add
|
|
|
|
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
|
|
|
|
lib.foo0.baz : Nat
|
|
|
|
lib.foo0.lib.bonk1.bar : Nat
|
|
|
|
lib.foo1.lib.bonk2.qux : Nat
|
|
|
|
lib.foo1.zonk : Nat
|
|
|
|
mybar : Nat
|
|
|
|
|
|
|
|
myproj/main> upgrade foo0 foo1
|
|
|
|
|
2024-01-08 18:45:18 +03:00
|
|
|
I couldn't automatically upgrade foo0 to foo1. However, I've
|
|
|
|
added the definitions that need attention to the top of
|
|
|
|
scratch.u.
|
2024-06-03 20:57:45 +03:00
|
|
|
|
|
|
|
When you're done, you can run
|
|
|
|
|
|
|
|
upgrade.commit
|
|
|
|
|
|
|
|
to merge your changes back into main and delete the temporary
|
|
|
|
branch. Or, if you decide to cancel the upgrade instead, you
|
|
|
|
can run
|
|
|
|
|
|
|
|
delete.branch /upgrade-foo0-to-foo1
|
|
|
|
|
|
|
|
to delete the temporary branch and switch back to main.
|
2023-12-08 22:56:03 +03:00
|
|
|
|
|
|
|
```
|
2024-07-10 17:46:18 +03:00
|
|
|
``` unison:added-by-ucm scratch.u
|
2024-01-12 20:39:18 +03:00
|
|
|
mybar : Nat
|
2024-01-10 01:38:04 +03:00
|
|
|
mybar =
|
2024-01-12 20:39:18 +03:00
|
|
|
use Nat +
|
2024-01-10 01:38:04 +03:00
|
|
|
use lib.foo0.lib.bonk1 bar
|
2024-01-12 20:39:18 +03:00
|
|
|
bar + bar
|
2024-01-10 01:38:04 +03:00
|
|
|
```
|
|
|
|
|