mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +03:00
111 lines
3.3 KiB
Markdown
111 lines
3.3 KiB
Markdown
``` unison
|
|
a.b.one = 1
|
|
a.two = 2
|
|
|
|
a.x.three = 3
|
|
a.x.four = 4
|
|
|
|
structural type a.x.Foo = Foo | Bar
|
|
structural type a.b.Baz = Boo
|
|
```
|
|
|
|
``` 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`:
|
|
|
|
structural type a.b.Baz
|
|
structural type a.x.Foo
|
|
a.b.one : ##Nat
|
|
a.two : ##Nat
|
|
a.x.four : ##Nat
|
|
a.x.three : ##Nat
|
|
|
|
```
|
|
``` ucm
|
|
scratch/main> add
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
structural type a.b.Baz
|
|
structural type a.x.Foo
|
|
a.b.one : ##Nat
|
|
a.two : ##Nat
|
|
a.x.four : ##Nat
|
|
a.x.three : ##Nat
|
|
|
|
scratch/main> delete.term.verbose a.b.one
|
|
|
|
Removed definitions:
|
|
|
|
1. a.b.one : ##Nat
|
|
|
|
Tip: You can use `undo` or use a hash from `reflog` to undo
|
|
this change.
|
|
|
|
scratch/main> alias.term a.two a.newtwo
|
|
|
|
Done.
|
|
|
|
scratch/main> move.namespace a.x a.y
|
|
|
|
Done.
|
|
|
|
scratch/main> history
|
|
|
|
Note: The most recent namespace hash is immediately below this
|
|
message.
|
|
|
|
⊙ 1. #tteooc9j2d
|
|
|
|
> Moves:
|
|
|
|
Original name New name
|
|
a.x.Foo a.y.Foo
|
|
a.x.Foo.Bar a.y.Foo.Bar
|
|
a.x.Foo.Foo a.y.Foo.Foo
|
|
a.x.four a.y.four
|
|
a.x.three a.y.three
|
|
|
|
⊙ 2. #bicrtgqj12
|
|
|
|
+ Adds / updates:
|
|
|
|
a.newtwo
|
|
|
|
= Copies:
|
|
|
|
Original name New name(s)
|
|
a.two a.newtwo
|
|
|
|
⊙ 3. #bofp4huk1j
|
|
|
|
- Deletes:
|
|
|
|
a.b.one
|
|
|
|
□ 4. #gss5s88mo3 (start of history)
|
|
|
|
scratch/main> debug.name-diff 4 1
|
|
|
|
Kind Name Change Ref
|
|
Term a.newtwo Added #dcgdua2lj6upd1ah5v0qp09gjsej0d77d87fu6qn8e2qrssnlnmuinoio46hiu53magr7qn8vnqke8ndt0v76700o5u8gcvo7st28jg
|
|
Term a.y.four Added #vcfbbslncd2qloc03kalgsmufl3j5es6cehcrbmlj6t78d4uk5j9gpa3hhf2opln1u2kiepg5n2cn49ianf2oig0mi4c2ldn1r9lf40
|
|
Term a.y.three Added #f3lgjvjqoocpt8v6kdgd2bgthh11a7md3qdp9rf5datccmo580btjd5bt5dro3irqs0is7vm7s1dphddjbtufch620te7ef7canmjj8
|
|
Term a.y.Foo.Bar Added #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d1
|
|
Term a.y.Foo.Foo Added #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d0
|
|
Term a.b.one Removed #gjmq673r1vrurfotlnirv7vutdhm6sa3s02em5g22kk606mv6duvv8be402dv79312i4a0onepq5bo7citsodvq2g720nttj0ee9p0g
|
|
Term a.x.four Removed #vcfbbslncd2qloc03kalgsmufl3j5es6cehcrbmlj6t78d4uk5j9gpa3hhf2opln1u2kiepg5n2cn49ianf2oig0mi4c2ldn1r9lf40
|
|
Term a.x.three Removed #f3lgjvjqoocpt8v6kdgd2bgthh11a7md3qdp9rf5datccmo580btjd5bt5dro3irqs0is7vm7s1dphddjbtufch620te7ef7canmjj8
|
|
Term a.x.Foo.Bar Removed #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d1
|
|
Term a.x.Foo.Foo Removed #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d0
|
|
Type a.y.Foo Added #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0
|
|
Type a.x.Foo Removed #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0
|
|
|
|
```
|