Skip to content

Commit 39fe966

Browse files
⅄ 25-11-04-difftool → 25-11-05-difftool
2 parents 6b9026a + 7337486 commit 39fe966

File tree

1 file changed

+26
-11
lines changed

1 file changed

+26
-11
lines changed

unison-src/transcripts/idempotent/branch-diff.md

Lines changed: 26 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -231,11 +231,26 @@ scratch/main> project.delete scratch
231231

232232
If two branches don't share any history, `branch.diff` treats the first argument as the LCA.
233233

234-
``` ucm :hide
235-
scratch/main> builtins.mergeio lib.builtin
234+
``` unison
235+
main = "main"
236+
```
237+
238+
``` ucm :added-by-ucm
239+
Loading changes detected in scratch.u.
240+
241+
+ main : ##Text
242+
243+
Run `update` to apply these changes to your codebase.
236244
```
237245

238246
``` ucm
247+
scratch/main> update
248+
249+
Okay, I'm searching the branch for code that needs to be
250+
updated...
251+
252+
Done.
253+
239254
scratch/main> branch.create-empty topic
240255
241256
Done. I've created an empty branch scratch/topic.
@@ -244,13 +259,13 @@ scratch/main> branch.create-empty topic
244259
```
245260

246261
``` unison
247-
foo = 17
262+
topic = "topic"
248263
```
249264

250265
``` ucm :added-by-ucm
251266
Loading changes detected in scratch.u.
252267
253-
+ foo : ##Nat
268+
+ topic : ##Text
254269
255270
Run `update` to apply these changes to your codebase.
256271
```
@@ -263,23 +278,23 @@ scratch/topic> update
263278
264279
Done.
265280
266-
scratch/topic> builtins.mergeio lib.builtin
267-
268-
Done.
269-
270281
scratch/topic> branch.diff /main /topic
271282
272283
Changes on /topic:
273284
274-
+ foo : Nat
285+
+ topic : ##Text
286+
- main : ##Text
287+
288+
+ (added), - (deleted)
275289
276290
scratch/topic> branch.diff /topic /main
277291
278292
Changes on /main:
279293
280-
- foo : Nat
294+
+ main : ##Text
295+
- topic : ##Text
281296
282-
- (deleted)
297+
+ (added), - (deleted)
283298
```
284299

285300
``` ucm :hide

0 commit comments

Comments
 (0)