unison/unison-src/transcripts/update-on-conflict.output.md

67 lines
1.0 KiB
Markdown
Raw Permalink Normal View History

# Update on conflict
2024-07-23 20:45:16 +03:00
Conflicted definitions prevent `update` from succeeding.
``` unison
x = 1
temp = 2
```
``` ucm
Loading changes detected in scratch.u.
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`:
temp : Nat
x : Nat
```
``` ucm
2024-07-01 20:28:52 +03:00
scratch/main> add
⍟ I've added these definitions:
temp : Nat
x : Nat
2024-07-01 20:28:52 +03:00
scratch/main> debug.alias.term.force temp x
2023-05-17 20:36:58 +03:00
Done.
2024-07-01 20:28:52 +03:00
scratch/main> delete.term temp
Done.
2023-05-17 20:36:58 +03:00
```
``` unison
x = 3
```
``` ucm
Loading changes detected in scratch.u.
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These names already exist. You can `update` them to your
new definition:
2022-04-07 00:20:44 +03:00
x : Nat
```
``` ucm
2024-07-01 20:28:52 +03:00
scratch/main> update
2024-08-02 00:49:45 +03:00
This branch has more than one term with the name `x`. Please
delete or rename all but one of them, then try the update
again.
```