2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> builtins.mergeio
|
2022-02-01 20:29:55 +03:00
|
|
|
|
|
|
|
Done.
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> load unison-src/transcripts/fix2795/docs.u
|
2022-02-01 20:29:55 +03:00
|
|
|
|
2023-12-22 14:55:24 +03:00
|
|
|
Loading changes detected in
|
|
|
|
unison-src/transcripts/fix2795/docs.u.
|
|
|
|
|
2022-02-01 20:29:55 +03:00
|
|
|
I found and typechecked these definitions in
|
|
|
|
unison-src/transcripts/fix2795/docs.u. If you do an `add` or
|
|
|
|
`update`, here's how your codebase would change:
|
|
|
|
|
|
|
|
⍟ These new definitions are ok to `add`:
|
|
|
|
|
|
|
|
t1 : Text
|
|
|
|
test : Doc2
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> display test
|
2022-02-01 20:29:55 +03:00
|
|
|
|
|
|
|
t : Text
|
|
|
|
t = "hi"
|
|
|
|
t
|
|
|
|
⧨
|
|
|
|
"hi"
|
|
|
|
|
2022-02-08 05:29:57 +03:00
|
|
|
t1 : Text
|
2022-02-01 20:29:55 +03:00
|
|
|
t1 = "hi"
|
|
|
|
|
|
|
|
```
|