Skip to content

Commit b88baa4

Browse files
committed
Update transcript outputs
1 parent 86d1ae3 commit b88baa4

File tree

13 files changed

+341
-334
lines changed

13 files changed

+341
-334
lines changed

unison-src/transcripts-using-base/all-base-hashes.output.md

Lines changed: 280 additions & 273 deletions
Large diffs are not rendered by default.

unison-src/transcripts/idempotent/alias-term.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ project/main> alias.term lib.builtins.bug foo
1212
project/main> ls
1313
1414
1. foo (a -> b)
15-
2. lib/ (646 terms, 94 types)
15+
2. lib/ (648 terms, 94 types)
1616
```
1717

1818
It won't create a conflicted name, though.
@@ -29,7 +29,7 @@ project/main> alias.term lib.builtins.todo foo
2929
project/main> ls
3030
3131
1. foo (a -> b)
32-
2. lib/ (646 terms, 94 types)
32+
2. lib/ (648 terms, 94 types)
3333
```
3434

3535
You can use `debug.alias.term.force` for that.
@@ -43,5 +43,5 @@ project/main> ls
4343
4444
1. foo (a -> b)
4545
2. foo (a -> b)
46-
3. lib/ (646 terms, 94 types)
46+
3. lib/ (648 terms, 94 types)
4747
```

unison-src/transcripts/idempotent/alias-type.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ project/main> alias.type lib.builtins.Nat Foo
1212
project/main> ls
1313
1414
1. Foo (builtin type)
15-
2. lib/ (646 terms, 94 types)
15+
2. lib/ (648 terms, 94 types)
1616
```
1717

1818
It won't create a conflicted name, though.
@@ -29,7 +29,7 @@ project/main> alias.type lib.builtins.Int Foo
2929
project/main> ls
3030
3131
1. Foo (builtin type)
32-
2. lib/ (646 terms, 94 types)
32+
2. lib/ (648 terms, 94 types)
3333
```
3434

3535
You can use `debug.alias.type.force` for that.
@@ -43,5 +43,5 @@ project/main> ls
4343
4444
1. Foo (builtin type)
4545
2. Foo (builtin type)
46-
3. lib/ (646 terms, 94 types)
46+
3. lib/ (648 terms, 94 types)
4747
```

unison-src/transcripts/idempotent/builtins-merge.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ scratch/main> ls builtins
5454
45. Optional (type)
5555
46. Optional/ (2 terms)
5656
47. Pattern (builtin type)
57-
48. Pattern/ (9 terms)
57+
48. Pattern/ (11 terms)
5858
49. Ref (builtin type)
5959
50. Ref/ (2 terms)
6060
51. Request (builtin type)

unison-src/transcripts/idempotent/emptyCodebase.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ scratch/main> builtins.merge lib.builtins
2121
2222
scratch/main> ls lib
2323
24-
1. builtins/ (472 terms, 76 types)
24+
1. builtins/ (474 terms, 76 types)
2525
```
2626

2727
And for a limited time, you can get even more builtin goodies:
@@ -33,8 +33,8 @@ scratch/main> builtins.mergeio lib.builtinsio
3333
3434
scratch/main> ls lib
3535
36-
1. builtins/ (472 terms, 76 types)
37-
2. builtinsio/ (646 terms, 94 types)
36+
1. builtins/ (474 terms, 76 types)
37+
2. builtinsio/ (648 terms, 94 types)
3838
```
3939

4040
More typically, you'd start out by pulling `base`.

unison-src/transcripts/idempotent/fix1532.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ Let's see what we have created...
4242
scratch/main> ls
4343
4444
1. bar/ (1 term)
45-
2. builtin/ (472 terms, 76 types)
45+
2. builtin/ (474 terms, 76 types)
4646
3. foo/ (2 terms)
4747
```
4848

unison-src/transcripts/idempotent/input-parse-errors.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -33,15 +33,15 @@ scratch/main> add .
3333
3434
scratch/main> ls
3535
36-
1. lib/ (472 terms, 76 types)
36+
1. lib/ (474 terms, 76 types)
3737
2. x (Nat)
3838
3939
scratch/main> add 1
4040
4141
4242
scratch/main> ls
4343
44-
1. lib/ (472 terms, 76 types)
44+
1. lib/ (474 terms, 76 types)
4545
2. x (Nat)
4646
4747
scratch/main> add 2

unison-src/transcripts/idempotent/move-all.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -82,7 +82,7 @@ scratch/main> ls
8282
1. Bar (Nat)
8383
2. Bar (type)
8484
3. Bar/ (4 terms, 1 type)
85-
4. builtin/ (472 terms, 76 types)
85+
4. builtin/ (474 terms, 76 types)
8686
8787
scratch/main> ls Bar
8888
@@ -144,7 +144,7 @@ z/main> move bonk zonk
144144
145145
z/main> ls
146146
147-
1. builtin/ (472 terms, 76 types)
147+
1. builtin/ (474 terms, 76 types)
148148
2. zonk (Nat)
149149
```
150150

@@ -184,7 +184,7 @@ a/main> move bonk zonk
184184
185185
a/main> ls
186186
187-
1. builtin/ (472 terms, 76 types)
187+
1. builtin/ (474 terms, 76 types)
188188
2. zonk/ (1 term)
189189
190190
a/main> view zonk.zonk

unison-src/transcripts/idempotent/reflog.md

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -84,9 +84,9 @@ scratch/main> reflog
8484
history.
8585
8686
Branch Hash Description
87-
1. scratch/main #k0r1bumino add
88-
2. scratch/main #ihqe7hvf43 add
89-
3. scratch/main #6v68unn7ng builtins.merge scratch/main:lib.builtins
87+
1. scratch/main #ick8vaj1hj add
88+
2. scratch/main #arjballjdd add
89+
3. scratch/main #tnuut6n1ar builtins.merge scratch/main:lib.builtins
9090
4. scratch/main #sg60bvjo91 Project Created
9191
```
9292

@@ -103,11 +103,11 @@ scratch/main> project.reflog
103103
history.
104104
105105
Branch Hash Description
106-
1. scratch/other #8rnfb370a5 alias.term y scratch/other:z
107-
2. scratch/other #k0r1bumino Branch created from scratch/main
108-
3. scratch/main #k0r1bumino add
109-
4. scratch/main #ihqe7hvf43 add
110-
5. scratch/main #6v68unn7ng builtins.merge scratch/main:lib.builtins
106+
1. scratch/other #n3f27hfknk alias.term y scratch/other:z
107+
2. scratch/other #ick8vaj1hj Branch created from scratch/main
108+
3. scratch/main #ick8vaj1hj add
109+
4. scratch/main #arjballjdd add
110+
5. scratch/main #tnuut6n1ar builtins.merge scratch/main:lib.builtins
111111
6. scratch/main #sg60bvjo91 Project Created
112112
```
113113

@@ -124,13 +124,13 @@ scratch/main> reflog.global
124124
history.
125125
126126
Branch Hash Description
127-
1. newproject/main #comilntegs alias.term lib.builtins.Nat newproject/main:MyNat
128-
2. newproject/main #6v68unn7ng builtins.merge newproject/main:lib.builtins
127+
1. newproject/main #k4lotpo33l alias.term lib.builtins.Nat newproject/main:MyNat
128+
2. newproject/main #tnuut6n1ar builtins.merge newproject/main:lib.builtins
129129
3. newproject/main #sg60bvjo91 Branch Created
130-
4. scratch/other #8rnfb370a5 alias.term y scratch/other:z
131-
5. scratch/other #k0r1bumino Branch created from scratch/main
132-
6. scratch/main #k0r1bumino add
133-
7. scratch/main #ihqe7hvf43 add
134-
8. scratch/main #6v68unn7ng builtins.merge scratch/main:lib.builtins
130+
4. scratch/other #n3f27hfknk alias.term y scratch/other:z
131+
5. scratch/other #ick8vaj1hj Branch created from scratch/main
132+
6. scratch/main #ick8vaj1hj add
133+
7. scratch/main #arjballjdd add
134+
8. scratch/main #tnuut6n1ar builtins.merge scratch/main:lib.builtins
135135
9. scratch/main #sg60bvjo91 Project Created
136136
```

unison-src/transcripts/idempotent/reset.md

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -41,19 +41,19 @@ scratch/main> history
4141
Note: The most recent namespace hash is immediately below this
4242
message.
4343
44-
⊙ 1. #jg5m3tqq0e
44+
⊙ 1. #390pmu7m45
4545
4646
+ Adds / updates:
4747
4848
def
4949
50-
⊙ 2. #b6jiups6vt
50+
⊙ 2. #ur71ri566o
5151
5252
+ Adds / updates:
5353
5454
def
5555
56-
□ 3. #klo16ufgr2 (start of history)
56+
□ 3. #3uak8oem4n (start of history)
5757
5858
scratch/main> reset 2
5959
@@ -69,13 +69,13 @@ scratch/main> history
6969
Note: The most recent namespace hash is immediately below this
7070
message.
7171
72-
⊙ 1. #b6jiups6vt
72+
⊙ 1. #ur71ri566o
7373
7474
+ Adds / updates:
7575
7676
def
7777
78-
□ 2. #klo16ufgr2 (start of history)
78+
□ 2. #3uak8oem4n (start of history)
7979
```
8080

8181
Can reset to a value from reflog by number.
@@ -91,10 +91,10 @@ scratch/main> reflog
9191
history.
9292
9393
Branch Hash Description
94-
1. scratch/main #b6jiups6vt reset b6jiups6vti8ije4moe5kgjuv25guai9br87gf83llgfd2sa5i6ibo...
95-
2. scratch/main #jg5m3tqq0e update
96-
3. scratch/main #b6jiups6vt update
97-
4. scratch/main #klo16ufgr2 builtins.merge
94+
1. scratch/main #ur71ri566o reset ur71ri566oiuvjt043knn97fee9mu0e4tfhbs59vt30o5dokufltp9...
95+
2. scratch/main #390pmu7m45 update
96+
3. scratch/main #ur71ri566o update
97+
4. scratch/main #3uak8oem4n builtins.merge
9898
5. scratch/main #sg60bvjo91 Project Created
9999
100100
-- Reset the current branch to the first history element
@@ -113,19 +113,19 @@ scratch/main> history
113113
Note: The most recent namespace hash is immediately below this
114114
message.
115115
116-
⊙ 1. #jg5m3tqq0e
116+
⊙ 1. #390pmu7m45
117117
118118
+ Adds / updates:
119119
120120
def
121121
122-
⊙ 2. #b6jiups6vt
122+
⊙ 2. #ur71ri566o
123123
124124
+ Adds / updates:
125125
126126
def
127127
128-
□ 3. #klo16ufgr2 (start of history)
128+
□ 3. #3uak8oem4n (start of history)
129129
```
130130

131131
# reset branch

0 commit comments

Comments
 (0)