2024-07-10 17:46:18 +03:00
|
|
|
``` unison
|
2023-11-08 17:33:42 +03:00
|
|
|
unique type Foo = { bar : Nat }
|
2023-11-08 17:16:19 +03:00
|
|
|
```
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2023-11-08 17:16:19 +03:00
|
|
|
|
2023-12-22 14:55:24 +03:00
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
|
2023-11-08 17:16:19 +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`:
|
|
|
|
|
2024-01-04 11:42:12 +03:00
|
|
|
type Foo
|
2023-11-08 17:16:19 +03:00
|
|
|
Foo.bar : Foo -> Nat
|
|
|
|
Foo.bar.modify : (Nat ->{g} Nat) -> Foo ->{g} Foo
|
|
|
|
Foo.bar.set : Nat -> Foo -> Foo
|
|
|
|
|
|
|
|
```
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> add
|
2023-11-08 17:16:19 +03:00
|
|
|
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
|
2024-01-04 11:42:12 +03:00
|
|
|
type Foo
|
2023-11-08 17:16:19 +03:00
|
|
|
Foo.bar : Foo -> Nat
|
|
|
|
Foo.bar.modify : (Nat ->{g} Nat) -> Foo ->{g} Foo
|
|
|
|
Foo.bar.set : Nat -> Foo -> Foo
|
|
|
|
|
|
|
|
```
|
2024-07-10 17:46:18 +03:00
|
|
|
``` unison
|
2023-11-08 17:33:42 +03:00
|
|
|
unique type Foo = { bar : Nat, baz : Int }
|
2023-11-08 17:16:19 +03:00
|
|
|
```
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2023-11-08 17:16:19 +03:00
|
|
|
|
2023-12-22 14:55:24 +03:00
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
|
2023-11-08 17:16:19 +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`:
|
|
|
|
|
|
|
|
Foo.baz : Foo -> Int
|
|
|
|
Foo.baz.modify : (Int ->{g} Int) -> Foo ->{g} Foo
|
|
|
|
Foo.baz.set : Int -> Foo -> Foo
|
|
|
|
|
|
|
|
⍟ These names already exist. You can `update` them to your
|
|
|
|
new definition:
|
|
|
|
|
2024-01-04 11:42:12 +03:00
|
|
|
type Foo
|
2023-11-08 17:16:19 +03:00
|
|
|
Foo.bar : Foo -> Nat
|
|
|
|
Foo.bar.modify : (Nat ->{g} Nat) -> Foo ->{g} Foo
|
|
|
|
Foo.bar.set : Nat -> Foo -> Foo
|
|
|
|
|
|
|
|
```
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> update
|
2023-11-08 17:16:19 +03:00
|
|
|
|
2023-11-14 06:36:03 +03:00
|
|
|
Okay, I'm searching the branch for code that needs to be
|
|
|
|
updated...
|
|
|
|
|
2023-11-09 07:54:01 +03:00
|
|
|
Done.
|
2023-11-08 17:16:19 +03:00
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> view Foo
|
2023-11-08 17:16:19 +03:00
|
|
|
|
2024-01-04 11:42:12 +03:00
|
|
|
type Foo = { bar : Nat, baz : Int }
|
2023-11-08 17:16:19 +03:00
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> find.verbose
|
2023-11-08 17:16:19 +03:00
|
|
|
|
2023-11-09 07:54:01 +03:00
|
|
|
1. -- #05gh1dur4778dauh9slaofprc5356n47qpove0c1jl0birt2fcu301js8auu5vfr5bjfga9j8ikuk07ll9fu1gj3ehrp3basguhsd58
|
2024-01-04 11:42:12 +03:00
|
|
|
type Foo
|
2023-11-08 17:16:19 +03:00
|
|
|
|
2023-11-09 07:54:01 +03:00
|
|
|
2. -- #77mi33dv8ac2s90852khi35km5gsamhnpada8mai0k36obbttgg17qld719ospcs1ht9ctolg3pjsqs6qjnl3hfmu493rgsher73sc0
|
2023-11-08 17:16:19 +03:00
|
|
|
Foo.bar : Foo -> Nat
|
|
|
|
|
2023-11-09 07:54:01 +03:00
|
|
|
3. -- #7m1n2178r5u12jdnb6crcmanu2gm961kdvbjul5m6hta1s57avibsvk6p5g9efut8sennpgstbb8kf97eujbbuiplsoloa4cael7t90
|
2023-11-08 17:16:19 +03:00
|
|
|
Foo.bar.modify : (Nat ->{g} Nat) -> Foo ->{g} Foo
|
|
|
|
|
2023-11-09 07:54:01 +03:00
|
|
|
4. -- #ghuqoel4pao6v8e7un238i3e86vv7a7pnvgaq8m9s32edm1upgv35gri2iu32ipn9r4poli56r5kr3vtjfrltem696grfl75al4jkgg
|
2023-11-08 17:16:19 +03:00
|
|
|
Foo.bar.set : Nat -> Foo -> Foo
|
|
|
|
|
2023-11-09 07:54:01 +03:00
|
|
|
5. -- #p8emkm2s09n3nsd8ne5f6fro0vsldk8pn7n6rcf417anuvvun43qrk1ioofs6pdq4537eosao17c7ibvktktr3lfqglmj26gmbulmj0
|
|
|
|
Foo.baz : Foo -> Int
|
|
|
|
|
|
|
|
6. -- #0il9pl29jpe3fh6vp3qeqai73915k3qffhf4bgttrgsj000b9fgs3bqoj8ugjop6kdr04acc34m1bj7lf417tslfeva7dmmoqdu5hug
|
|
|
|
Foo.baz.modify : (Int ->{g} Int) -> Foo ->{g} Foo
|
|
|
|
|
|
|
|
7. -- #87rjeqltvvd4adffsheqae62eefoge8p78pvnjdkc9q1stq20lhubvtpos0io4v3vhnol8nn2uollup97l4orq1fh2h12b0imeuuc58
|
|
|
|
Foo.baz.set : Int -> Foo -> Foo
|
|
|
|
|
|
|
|
8. -- #05gh1dur4778dauh9slaofprc5356n47qpove0c1jl0birt2fcu301js8auu5vfr5bjfga9j8ikuk07ll9fu1gj3ehrp3basguhsd58#0
|
|
|
|
Foo.Foo : Nat -> Int -> Foo
|
2023-11-08 17:16:19 +03:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
```
|