Skip to content

Commit 00f2046

Browse files
committed
Move sync transcripts
1 parent b28f7bb commit 00f2046

10 files changed

+25
-1
lines changed

transcripts/run-transcripts.zsh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ done;
1212

1313
source "$(realpath "$(dirname "$0")")/transcript_helpers.sh"
1414

15-
# Base directory containing all transcripts
15+
# Base directory containing share-api transcripts
1616
transcripts_location="transcripts/share-apis"
1717

1818
# Find all directories within transcripts_location
Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
```ucm:hide
2+
scratch/main> project.create-empty ambiguous
3+
ambiguous/main> builtins.merge
4+
```
5+
6+
Create a flawed component which should be rejected with an ambiguous element ordering error.
7+
8+
```unison
9+
ping = do
10+
pong()
11+
12+
pong = do
13+
ping()
14+
```
15+
16+
17+
```ucm:hide
18+
ambiguous/main> update
19+
```
20+
21+
Try to push, this should be rejected.
22+
```ucm
23+
ambiguous/main> push @transcripts/ambiguous/main
24+
```
File renamed without changes.
File renamed without changes.

transcripts/sync-apis/pull-without-history.output.md renamed to transcripts/share-apis/sync/pull-without-history.output.md

File renamed without changes.
File renamed without changes.
File renamed without changes.

transcripts/sync-apis/write-other-user-without-permission.md renamed to transcripts/share-apis/sync/write-other-user-without-permission.md

File renamed without changes.

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

File renamed without changes.

0 commit comments

Comments
 (0)