Skip to content

Commit 0458557

Browse files
committed
Rerun all transcripts against new unison
1 parent 69d213e commit 0458557

38 files changed

+901
-277
lines changed

transcripts/share-apis/branch-browse/branch-find.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -136,6 +136,7 @@
136136
{
137137
"annotation": {
138138
"contents": "#r7hq9rqc3hebqailf77f656vbgice0716c6f0j7bj06muhj5ac1pq103gdh5974f14fcbmvp44fai5in1ajp5j3ejckfp6bffd3fpoo",
139+
"fqn": "Remote",
139140
"tag": "TypeReference"
140141
},
141142
"segment": "Remote"

transcripts/share-apis/code-browse/codebase-definition-by-hash-constructor.json

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,7 @@
4444
{
4545
"annotation": {
4646
"contents": "#6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d0",
47+
"fqn": "names.Thing.This",
4748
"tag": "TermReference"
4849
},
4950
"segment": "This"
@@ -57,6 +58,7 @@
5758
{
5859
"annotation": {
5960
"contents": "#6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d1",
61+
"fqn": "names.Thing.That",
6062
"tag": "TermReference"
6163
},
6264
"segment": "That"

transcripts/share-apis/code-browse/codebase-definition-by-hash-term.json

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
{
1010
"annotation": {
1111
"contents": "##Nat",
12+
"fqn": "builtin.Nat",
1213
"tag": "TypeReference"
1314
},
1415
"segment": "Nat"
@@ -36,6 +37,7 @@
3637
{
3738
"annotation": {
3839
"contents": "##Nat",
40+
"fqn": "builtin.Nat",
3941
"tag": "TypeReference"
4042
},
4143
"segment": "Nat"

transcripts/share-apis/code-browse/codebase-definition-by-name-encoded.json

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -49,6 +49,7 @@
4949
{
5050
"annotation": {
5151
"contents": "##Nat",
52+
"fqn": "builtin.Nat",
5253
"tag": "TypeReference"
5354
},
5455
"segment": "Nat"
@@ -128,6 +129,7 @@
128129
{
129130
"annotation": {
130131
"contents": "##Nat",
132+
"fqn": "builtin.Nat",
131133
"tag": "TypeReference"
132134
},
133135
"segment": "Nat"

transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix-again.json

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
{
1010
"annotation": {
1111
"contents": "##Nat",
12+
"fqn": "builtin.Nat",
1213
"tag": "TypeReference"
1314
},
1415
"segment": "Nat"
@@ -36,6 +37,7 @@
3637
{
3738
"annotation": {
3839
"contents": "##Nat",
40+
"fqn": "builtin.Nat",
3941
"tag": "TypeReference"
4042
},
4143
"segment": "Nat"

transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix.json

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
{
1010
"annotation": {
1111
"contents": "##Nat",
12+
"fqn": "builtin.Nat",
1213
"tag": "TypeReference"
1314
},
1415
"segment": "Nat"
@@ -36,6 +37,7 @@
3637
{
3738
"annotation": {
3839
"contents": "##Nat",
40+
"fqn": "builtin.Nat",
3941
"tag": "TypeReference"
4042
},
4143
"segment": "Nat"

transcripts/share-apis/code-browse/codebase-definition-by-name-should-pretty-print-external-names-if-no-local-name.json

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
{
1010
"annotation": {
1111
"contents": "##Nat",
12+
"fqn": "builtin.Nat",
1213
"tag": "TypeReference"
1314
},
1415
"segment": "Nat"
@@ -36,6 +37,7 @@
3637
{
3738
"annotation": {
3839
"contents": "##Nat",
40+
"fqn": "builtin.Nat",
3941
"tag": "TypeReference"
4042
},
4143
"segment": "Nat"
@@ -108,6 +110,7 @@
108110
{
109111
"annotation": {
110112
"contents": "##Nat.+",
113+
"fqn": "builtin.Nat.+",
111114
"tag": "TermReference"
112115
},
113116
"segment": "+"
@@ -119,6 +122,7 @@
119122
{
120123
"annotation": {
121124
"contents": "#dcgdua2lj6upd1ah5v0qp09gjsej0d77d87fu6qn8e2qrssnlnmuinoio46hiu53magr7qn8vnqke8ndt0v76700o5u8gcvo7st28jg",
125+
"fqn": "names.apples.two",
122126
"tag": "TermReference"
123127
},
124128
"segment": "two"
@@ -130,6 +134,7 @@
130134
{
131135
"annotation": {
132136
"contents": "##Nat.+",
137+
"fqn": "builtin.Nat.+",
133138
"tag": "TermReference"
134139
},
135140
"segment": "+"
@@ -141,6 +146,7 @@
141146
{
142147
"annotation": {
143148
"contents": "#dcgdua2lj6upd1ah5v0qp09gjsej0d77d87fu6qn8e2qrssnlnmuinoio46hiu53magr7qn8vnqke8ndt0v76700o5u8gcvo7st28jg",
149+
"fqn": "names.apples.two",
144150
"tag": "TermReference"
145151
},
146152
"segment": "two"

transcripts/share-apis/code-browse/codebase-definition-by-name-should-work-with-empty-perspective.json

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
{
1010
"annotation": {
1111
"contents": "##Nat",
12+
"fqn": "builtin.Nat",
1213
"tag": "TypeReference"
1314
},
1415
"segment": "Nat"
@@ -36,6 +37,7 @@
3637
{
3738
"annotation": {
3839
"contents": "##Nat",
40+
"fqn": "builtin.Nat",
3941
"tag": "TypeReference"
4042
},
4143
"segment": "Nat"

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
{
1010
"annotation": {
1111
"contents": "##Nat",
12+
"fqn": "builtin.Nat",
1213
"tag": "TypeReference"
1314
},
1415
"segment": "Nat"
@@ -36,6 +37,7 @@
3637
{
3738
"annotation": {
3839
"contents": "##Nat",
40+
"fqn": "builtin.Nat",
3941
"tag": "TypeReference"
4042
},
4143
"segment": "Nat"
@@ -108,6 +110,7 @@
108110
{
109111
"annotation": {
110112
"contents": "##Nat.+",
113+
"fqn": "builtin.Nat.+",
111114
"tag": "TermReference"
112115
},
113116
"segment": "+"
@@ -119,6 +122,7 @@
119122
{
120123
"annotation": {
121124
"contents": "#dcgdua2lj6upd1ah5v0qp09gjsej0d77d87fu6qn8e2qrssnlnmuinoio46hiu53magr7qn8vnqke8ndt0v76700o5u8gcvo7st28jg",
125+
"fqn": "names.apples.two",
122126
"tag": "TermReference"
123127
},
124128
"segment": "two"

transcripts/share-apis/code-browse/codebase-find.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,7 @@
3939
{
4040
"annotation": {
4141
"contents": "##Nat",
42+
"fqn": "builtin.Nat",
4243
"tag": "TypeReference"
4344
},
4445
"segment": "Nat"

0 commit comments

Comments
 (0)