Skip to content

Commit 7cf7e44

Browse files
re-run transcripts with ucm-0.5.45
1 parent 2a911f6 commit 7cf7e44

File tree

6 files changed

+29
-24
lines changed

6 files changed

+29
-24
lines changed

transcripts/share-apis/code-browse/codebase-namespace-by-name-root.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
22
"body": {
33
"fqn": "",
4-
"hash": "#hjj7spb37rsmv6eojjite9l0eomq9m85gnrnt8oiuvta41rr28sj239tib8b7qhk87hnm560fikbtb1heou3epvrq5118ej5thk3hs0",
4+
"hash": "#0rn5utov1lrjvcq5i6ksd1lvk7v8eub8hq7mi80eia8a1s4a9ui45tk0ucnofdmgl96s5hqdu1mfsma0eipqthv66bgkvpst8oa837o",
55
"readme": null
66
},
77
"status": [

transcripts/share-apis/contribution-diffs/contribution-diff.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2263,9 +2263,9 @@
22632263
"tag": "ok"
22642264
},
22652265
"newRef": "diff-end",
2266-
"newRefHash": "#lau4pa7q7ul1ub9m0f13kg3soqjmdsu173n9j36a7u0t6hp81kmfqgfv3pm0tp6i0kjb80ae1bb4a2eo3aa6c7jscqgin3rati2t0t0",
2266+
"newRefHash": "#f2bjgi4tm53bf6dcfcukt5a6as3ktlrbiacnqq81nco8i4g7dg6pt14vmc1b7ulsb7rt683qjt2rvg9u92uo5mk1gaqgo8cl30umep8",
22672267
"oldRef": "diff-start",
2268-
"oldRefHash": "#vu2ddn75mpvl8jv01c4tnmvddm8e2q1e2nb9qj2c6qb0j3dl6har1v07l3vmm18ap1p0qos9pgo82f19enaboighed7bnal6t7jcumo",
2268+
"oldRefHash": "#f8nji6tc2vaorc7gl8kjdmj8ucrht674blmb586iptgsa8v1pm8ovjplc4an2voirvlip91ick9g5mjkncsmr8sadaqqf8810eskbig",
22692269
"project": "@transcripts/contribution-diff",
22702270
"tag": "done"
22712271
},

transcripts/share-apis/contribution-diffs/namespace-diff.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2263,9 +2263,9 @@
22632263
"tag": "ok"
22642264
},
22652265
"newRef": "diff-end",
2266-
"newRefHash": "#lau4pa7q7ul1ub9m0f13kg3soqjmdsu173n9j36a7u0t6hp81kmfqgfv3pm0tp6i0kjb80ae1bb4a2eo3aa6c7jscqgin3rati2t0t0",
2266+
"newRefHash": "#f2bjgi4tm53bf6dcfcukt5a6as3ktlrbiacnqq81nco8i4g7dg6pt14vmc1b7ulsb7rt683qjt2rvg9u92uo5mk1gaqgo8cl30umep8",
22672267
"oldRef": "diff-start",
2268-
"oldRefHash": "#vu2ddn75mpvl8jv01c4tnmvddm8e2q1e2nb9qj2c6qb0j3dl6har1v07l3vmm18ap1p0qos9pgo82f19enaboighed7bnal6t7jcumo",
2268+
"oldRefHash": "#f8nji6tc2vaorc7gl8kjdmj8ucrht674blmb586iptgsa8v1pm8ovjplc4an2voirvlip91ick9g5mjkncsmr8sadaqqf8810eskbig",
22692269
"project": "@transcripts/contribution-diff",
22702270
"tag": "done"
22712271
},

transcripts/sync-apis/pull-without-history.output.md

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,13 @@ x = 1
55
``` ucm :added-by-ucm
66
Loading changes detected in scratch.u.
77
8-
+ x : ##Nat
8+
I found and typechecked these definitions in scratch.u. If you
9+
do an `add` or `update`, here's how your codebase would
10+
change:
911
10-
+ (added), ~ (modified), - (deleted)
11-
12-
Run `update` to apply these changes to your codebase.
12+
⍟ These new definitions are ok to `add`:
13+
14+
x : ##Nat
1315
```
1416

1517
Create a project, add some history, then push it.
@@ -27,7 +29,7 @@ scratch/main> project.create-empty myproject
2729
2830
1. Open scratch.u.
2931
2. Write some Unison code and save the file.
30-
3. In UCM, type `update` to save it to your new project.
32+
3. In UCM, type `add` to save it to your new project.
3133
3234
🎉 🥳 Happy coding!
3335

transcripts/sync-apis/sync.output.md

Lines changed: 16 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -25,17 +25,18 @@ ys = [!a, !b] :+ 3
2525
``` ucm :added-by-ucm
2626
Loading changes detected in scratch.u.
2727
28-
+ type A
29-
+ type B
30-
31-
+ a : 'Nat
32-
+ b : 'Nat
33-
+ xs : ['{g} Nat]
34-
+ ys : [Nat]
35-
36-
+ (added), ~ (modified), - (deleted)
37-
38-
Run `update` to apply these changes to your codebase.
28+
I found and typechecked these definitions in scratch.u. If you
29+
do an `add` or `update`, here's how your codebase would
30+
change:
31+
32+
⍟ These new definitions are ok to `add`:
33+
34+
type A
35+
type B
36+
a : 'Nat
37+
b : 'Nat
38+
xs : ['{g} Nat]
39+
ys : [Nat]
3940
```
4041

4142
``` ucm :hide
@@ -47,7 +48,7 @@ Push and pull it back.
4748
``` ucm
4849
proj/main> push @transcripts/proj/main
4950
50-
Uploaded 443 entities.
51+
Uploaded 361 entities.
5152
5253
I just created @transcripts/proj on http://localhost:5424
5354
@@ -73,7 +74,7 @@ proj/pulled> ls .
7374
4. B/ (2 terms)
7475
5. a ('Nat)
7576
6. b ('Nat)
76-
7. builtin/ (580 terms, 100 types)
77+
7. builtin/ (471 terms, 75 types)
7778
8. xs (['{g} Nat])
7879
9. ys ([Nat])
7980
```
@@ -143,6 +144,8 @@ Pull to trigger local merge
143144
``` ucm :error
144145
proj/diverge> pull @transcripts/proj/main
145146
147+
Merging...
148+
146149
I couldn't automatically merge remote @transcripts/proj/main
147150
into proj/diverge. However, I've added the definitions that
148151
need attention to the top of scratch.u.

transcripts/sync-apis/write-other-user-without-permission.output.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ scratch/main> project.create-empty proj
1515
1616
1. Open scratch.u.
1717
2. Write some Unison code and save the file.
18-
3. In UCM, type `update` to save it to your new project.
18+
3. In UCM, type `add` to save it to your new project.
1919
2020
🎉 🥳 Happy coding!
2121

0 commit comments

Comments
 (0)