unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity

Fix fix5080 pulling over the network

Browse Source
This commit is contained in:
Chris Penner 2024-06-27 10:55:45 -07:00
parent b6b2adb075
commit 4b7cf99df6
2 changed files with 21 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
unison-src/transcripts/fix5080.md
View File

@ -1,18 +1,18 @@
```ucm
.> project.create test-5080
```ucm:hide
scratch/main> builtins.merge lib.builtins
```
```unison
test> fix5080.tests.success = check (6 Nat.== 6)
test> fix5080.tests.failure = check (2 Nat.== 4)
test> fix5080.tests.success = [Ok "success"]
test> fix5080.tests.failure = [Fail "fail"]
```
```ucm:error
test-5080/main> add
test-5080/main> test
scratch/main> add
scratch/main> test
```
```ucm
test-5080/main> delete.term 2
test-5080/main> test
scratch/main> delete.term 2
scratch/main> test
```

49
unison-src/transcripts/fix5080.output.md
View File

@ -1,29 +1,6 @@
```ucm
.> project.create test-5080
🎉 I've created the project test-5080.
I'll now fetch the latest version of the base Unison
library...
Downloaded 14067 entities.
🎨 Type `ui` to explore this project's code in your browser.
🔭 Discover libraries at https://share.unison-lang.org
📖 Use `help-topic projects` to learn more about projects.
Write your first Unison code with UCM:
1. Open scratch.u.
2. Write some Unison code and save the file.
3. In UCM, type `add` to save it to your new project.
🎉 🥳 Happy coding!
```
```unison
test> fix5080.tests.success = check (6 Nat.== 6)
test> fix5080.tests.failure = check (2 Nat.== 4)
test> fix5080.tests.success = [Ok "success"]
test> fix5080.tests.failure = [Fail "fail"]
```
```ucm
@ -42,30 +19,30 @@ test> fix5080.tests.failure = check (2 Nat.== 4)
Now evaluating any watch expressions (lines starting with
`>`)... Ctrl+C cancels.
1 | test> fix5080.tests.success = check (6 Nat.== 6)
1 | test> fix5080.tests.success = [Ok "success"]
✅ Passed Passed
✅ Passed success
2 | test> fix5080.tests.failure = check (2 Nat.== 4)
2 | test> fix5080.tests.failure = [Fail "fail"]
🚫 FAILED Failed
🚫 FAILED fail
```
```ucm
test-5080/main> add
scratch/main> add
⍟ I've added these definitions:
fix5080.tests.failure : [Result]
fix5080.tests.success : [Result]
test-5080/main> test
scratch/main> test
Cached test results (`help testcache` to learn more)
1. fix5080.tests.success ◉ Passed
1. fix5080.tests.success ◉ success
2. fix5080.tests.failure ✗ Failed
2. fix5080.tests.failure ✗ fail
🚫 1 test(s) failing, ✅ 1 test(s) passing
@ -73,15 +50,15 @@ test-5080/main> test
```
```ucm
test-5080/main> delete.term 2
scratch/main> delete.term 2
Done.
test-5080/main> test
scratch/main> test
Cached test results (`help testcache` to learn more)
1. fix5080.tests.success ◉ Passed
1. fix5080.tests.success ◉ success
✅ 1 test(s) passing