unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 10:35:57 +03:00
Code Issues Projects Releases Wiki Activity

Update the transcript outputs

Browse Source
This commit is contained in:
Greg Pfeil 2024-06-26 14:01:36 -06:00
parent afa4b03f73
commit fd197f1369
No known key found for this signature in database
GPG Key ID: 1193ACD196ED61F2
23 changed files with 406 additions and 435 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
unison-src/transcripts-using-base/_base.output.md
View File

@ -63,11 +63,11 @@ testAutoClean _ =
New test results:
◉ testAutoClean our temporary directory should exist
◉ testAutoClean our temporary directory should no longer exist
1. ◉ testAutoClean our temporary directory should exist
2. ◉ testAutoClean our temporary directory should no longer exist
✅ 2 test(s) passing
Tip: Use view testAutoClean to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

138
unison-src/transcripts-using-base/binary-encoding-nats.output.md
View File

@ -95,77 +95,77 @@ testABunchOfNats _ =
New test results:
◉ testABunchOfNats successfully decoded 4294967295 using 64 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 4294967295 using 64 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 4294967295 using 32 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 4294967295 using 32 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 1090519040 using 64 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 1090519040 using 64 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 1090519040 using 32 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 1090519040 using 32 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 4259840 using 64 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 4259840 using 64 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 4259840 using 32 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 4259840 using 32 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 16640 using 64 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 16640 using 64 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 16640 using 32 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 16640 using 32 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 16640 using 16 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 16640 using 16 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 2255827097 using 64 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 2255827097 using 64 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 2255827097 using 32 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 2255827097 using 32 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 65 using 64 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 65 using 64 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 65 using 32 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 65 using 32 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 65 using 16 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 65 using 16 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 0 using 64 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 0 using 64 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 0 using 32 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 0 using 32 bit Little Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 0 using 16 bit Big Endian
◉ testABunchOfNats consumed all input
◉ testABunchOfNats successfully decoded 0 using 16 bit Little Endian
◉ testABunchOfNats consumed all input
1. ◉ testABunchOfNats successfully decoded 4294967295 using 64 bit Big Endian
2. ◉ testABunchOfNats consumed all input
3. ◉ testABunchOfNats successfully decoded 4294967295 using 64 bit Little Endian
4. ◉ testABunchOfNats consumed all input
5. ◉ testABunchOfNats successfully decoded 4294967295 using 32 bit Big Endian
6. ◉ testABunchOfNats consumed all input
7. ◉ testABunchOfNats successfully decoded 4294967295 using 32 bit Little Endian
8. ◉ testABunchOfNats consumed all input
9. ◉ testABunchOfNats successfully decoded 1090519040 using 64 bit Big Endian
10. ◉ testABunchOfNats consumed all input
11. ◉ testABunchOfNats successfully decoded 1090519040 using 64 bit Little Endian
12. ◉ testABunchOfNats consumed all input
13. ◉ testABunchOfNats successfully decoded 1090519040 using 32 bit Big Endian
14. ◉ testABunchOfNats consumed all input
15. ◉ testABunchOfNats successfully decoded 1090519040 using 32 bit Little Endian
16. ◉ testABunchOfNats consumed all input
17. ◉ testABunchOfNats successfully decoded 4259840 using 64 bit Big Endian
18. ◉ testABunchOfNats consumed all input
19. ◉ testABunchOfNats successfully decoded 4259840 using 64 bit Little Endian
20. ◉ testABunchOfNats consumed all input
21. ◉ testABunchOfNats successfully decoded 4259840 using 32 bit Big Endian
22. ◉ testABunchOfNats consumed all input
23. ◉ testABunchOfNats successfully decoded 4259840 using 32 bit Little Endian
24. ◉ testABunchOfNats consumed all input
25. ◉ testABunchOfNats successfully decoded 16640 using 64 bit Big Endian
26. ◉ testABunchOfNats consumed all input
27. ◉ testABunchOfNats successfully decoded 16640 using 64 bit Little Endian
28. ◉ testABunchOfNats consumed all input
29. ◉ testABunchOfNats successfully decoded 16640 using 32 bit Big Endian
30. ◉ testABunchOfNats consumed all input
31. ◉ testABunchOfNats successfully decoded 16640 using 32 bit Little Endian
32. ◉ testABunchOfNats consumed all input
33. ◉ testABunchOfNats successfully decoded 16640 using 16 bit Big Endian
34. ◉ testABunchOfNats consumed all input
35. ◉ testABunchOfNats successfully decoded 16640 using 16 bit Little Endian
36. ◉ testABunchOfNats consumed all input
37. ◉ testABunchOfNats successfully decoded 2255827097 using 64 bit Big Endian
38. ◉ testABunchOfNats consumed all input
39. ◉ testABunchOfNats successfully decoded 2255827097 using 64 bit Little Endian
40. ◉ testABunchOfNats consumed all input
41. ◉ testABunchOfNats successfully decoded 2255827097 using 32 bit Big Endian
42. ◉ testABunchOfNats consumed all input
43. ◉ testABunchOfNats successfully decoded 2255827097 using 32 bit Little Endian
44. ◉ testABunchOfNats consumed all input
45. ◉ testABunchOfNats successfully decoded 65 using 64 bit Big Endian
46. ◉ testABunchOfNats consumed all input
47. ◉ testABunchOfNats successfully decoded 65 using 64 bit Little Endian
48. ◉ testABunchOfNats consumed all input
49. ◉ testABunchOfNats successfully decoded 65 using 32 bit Big Endian
50. ◉ testABunchOfNats consumed all input
51. ◉ testABunchOfNats successfully decoded 65 using 32 bit Little Endian
52. ◉ testABunchOfNats consumed all input
53. ◉ testABunchOfNats successfully decoded 65 using 16 bit Big Endian
54. ◉ testABunchOfNats consumed all input
55. ◉ testABunchOfNats successfully decoded 65 using 16 bit Little Endian
56. ◉ testABunchOfNats consumed all input
57. ◉ testABunchOfNats successfully decoded 0 using 64 bit Big Endian
58. ◉ testABunchOfNats consumed all input
59. ◉ testABunchOfNats successfully decoded 0 using 64 bit Little Endian
60. ◉ testABunchOfNats consumed all input
61. ◉ testABunchOfNats successfully decoded 0 using 32 bit Big Endian
62. ◉ testABunchOfNats consumed all input
63. ◉ testABunchOfNats successfully decoded 0 using 32 bit Little Endian
64. ◉ testABunchOfNats consumed all input
65. ◉ testABunchOfNats successfully decoded 0 using 16 bit Big Endian
66. ◉ testABunchOfNats consumed all input
67. ◉ testABunchOfNats successfully decoded 0 using 16 bit Little Endian
68. ◉ testABunchOfNats consumed all input
✅ 68 test(s) passing
Tip: Use view testABunchOfNats to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

112
unison-src/transcripts-using-base/codeops.output.md
View File

@ -364,33 +364,33 @@ to actual show that the serialization works.
New test results:
◉ tests (ext f) passed
◉ tests (ext h) passed
◉ tests (ident compound) passed
◉ tests (ident fib10) passed
◉ tests (ident effect) passed
◉ tests (ident zero) passed
◉ tests (ident h) passed
◉ tests (ident text) passed
◉ tests (ident int) passed
◉ tests (ident float) passed
◉ tests (ident termlink) passed
◉ tests (ident bool) passed
◉ tests (ident bytes) passed
1. ◉ tests (ext f) passed
2. ◉ tests (ext h) passed
3. ◉ tests (ident compound) passed
4. ◉ tests (ident fib10) passed
5. ◉ tests (ident effect) passed
6. ◉ tests (ident zero) passed
7. ◉ tests (ident h) passed
8. ◉ tests (ident text) passed
9. ◉ tests (ident int) passed
10. ◉ tests (ident float) passed
11. ◉ tests (ident termlink) passed
12. ◉ tests (ident bool) passed
13. ◉ tests (ident bytes) passed
✅ 13 test(s) passing
Tip: Use view tests to view the source of a test.
Tip: Use view 1 to view the source of a test.
.> io.test badLoad
New test results:
◉ badLoad serialized77
1. ◉ badLoad serialized77
✅ 1 test(s) passing
Tip: Use view badLoad to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
```unison
@ -453,40 +453,40 @@ codeTests =
New test results:
◉ codeTests (idem f) passed
◉ codeTests (idem h) passed
◉ codeTests (idem rotate) passed
◉ codeTests (idem zapper) passed
◉ codeTests (idem showThree) passed
◉ codeTests (idem concatMap) passed
◉ codeTests (idem big) passed
◉ codeTests (idem extensionality) passed
◉ codeTests (idem identicality) passed
◉ codeTests (verified f) passed
◉ codeTests (verified h) passed
◉ codeTests (verified rotate) passed
◉ codeTests (verified zapper) passed
◉ codeTests (verified showThree) passed
◉ codeTests (verified concatMap) passed
◉ codeTests (verified big) passed
◉ codeTests (verified extensionality) passed
◉ codeTests (verified identicality) passed
◉ codeTests (verified mutual0) passed
◉ codeTests (verified mutual1) passed
◉ codeTests (verified mutual2) passed
◉ codeTests (rejected missing mutual0) passed
◉ codeTests (rejected missing mutual1) passed
◉ codeTests (rejected missing mutual2) passed
◉ codeTests (rejected swapped zapper) passed
◉ codeTests (rejected swapped extensionality) passed
◉ codeTests (rejected swapped identicality) passed
◉ codeTests (rejected swapped mututal0) passed
◉ codeTests (rejected swapped mututal1) passed
◉ codeTests (rejected swapped mututal2) passed
1. ◉ codeTests (idem f) passed
2. ◉ codeTests (idem h) passed
3. ◉ codeTests (idem rotate) passed
4. ◉ codeTests (idem zapper) passed
5. ◉ codeTests (idem showThree) passed
6. ◉ codeTests (idem concatMap) passed
7. ◉ codeTests (idem big) passed
8. ◉ codeTests (idem extensionality) passed
9. ◉ codeTests (idem identicality) passed
10. ◉ codeTests (verified f) passed
11. ◉ codeTests (verified h) passed
12. ◉ codeTests (verified rotate) passed
13. ◉ codeTests (verified zapper) passed
14. ◉ codeTests (verified showThree) passed
15. ◉ codeTests (verified concatMap) passed
16. ◉ codeTests (verified big) passed
17. ◉ codeTests (verified extensionality) passed
18. ◉ codeTests (verified identicality) passed
19. ◉ codeTests (verified mutual0) passed
20. ◉ codeTests (verified mutual1) passed
21. ◉ codeTests (verified mutual2) passed
22. ◉ codeTests (rejected missing mutual0) passed
23. ◉ codeTests (rejected missing mutual1) passed
24. ◉ codeTests (rejected missing mutual2) passed
25. ◉ codeTests (rejected swapped zapper) passed
26. ◉ codeTests (rejected swapped extensionality) passed
27. ◉ codeTests (rejected swapped identicality) passed
28. ◉ codeTests (rejected swapped mututal0) passed
29. ◉ codeTests (rejected swapped mututal1) passed
30. ◉ codeTests (rejected swapped mututal2) passed
✅ 30 test(s) passing
Tip: Use view codeTests to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
```unison
@ -541,17 +541,17 @@ vtests _ =
New test results:
◉ vtests validated
◉ vtests validated
◉ vtests validated
◉ vtests validated
◉ vtests validated
◉ vtests validated
◉ vtests validated
◉ vtests validated
1. ◉ vtests validated
2. ◉ vtests validated
3. ◉ vtests validated
4. ◉ vtests validated
5. ◉ vtests validated
6. ◉ vtests validated
7. ◉ vtests validated
8. ◉ vtests validated
✅ 8 test(s) passing
Tip: Use view vtests to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

112
unison-src/transcripts-using-base/hashing.output.md
View File

@ -316,36 +316,35 @@ test> crypto.hash.numTests =
Cached test results (`help testcache` to learn more)
◉ blake2b_512.tests.ex1 Passed
◉ blake2b_512.tests.ex2 Passed
◉ blake2b_512.tests.ex3 Passed
◉ blake2s_256.tests.ex1 Passed
◉ crypto.hash.numTests Passed
◉ sha1.tests.ex1 Passed
◉ sha1.tests.ex2 Passed
◉ sha1.tests.ex3 Passed
◉ sha1.tests.ex4 Passed
◉ sha2_256.tests.ex1 Passed
◉ sha2_256.tests.ex2 Passed
◉ sha2_256.tests.ex3 Passed
◉ sha2_256.tests.ex4 Passed
◉ sha2_512.tests.ex1 Passed
◉ sha2_512.tests.ex2 Passed
◉ sha2_512.tests.ex3 Passed
◉ sha2_512.tests.ex4 Passed
◉ sha3_256.tests.ex1 Passed
◉ sha3_256.tests.ex2 Passed
◉ sha3_256.tests.ex3 Passed
◉ sha3_256.tests.ex4 Passed
◉ sha3_512.tests.ex1 Passed
◉ sha3_512.tests.ex2 Passed
◉ sha3_512.tests.ex3 Passed
◉ sha3_512.tests.ex4 Passed
1. ◉ blake2b_512.tests.ex1 Passed
2. ◉ blake2b_512.tests.ex2 Passed
3. ◉ blake2b_512.tests.ex3 Passed
4. ◉ blake2s_256.tests.ex1 Passed
5. ◉ crypto.hash.numTests Passed
6. ◉ sha1.tests.ex1 Passed
7. ◉ sha1.tests.ex2 Passed
8. ◉ sha1.tests.ex3 Passed
9. ◉ sha1.tests.ex4 Passed
10. ◉ sha2_256.tests.ex1 Passed
11. ◉ sha2_256.tests.ex2 Passed
12. ◉ sha2_256.tests.ex3 Passed
13. ◉ sha2_256.tests.ex4 Passed
14. ◉ sha2_512.tests.ex1 Passed
15. ◉ sha2_512.tests.ex2 Passed
16. ◉ sha2_512.tests.ex3 Passed
17. ◉ sha2_512.tests.ex4 Passed
18. ◉ sha3_256.tests.ex1 Passed
19. ◉ sha3_256.tests.ex2 Passed
20. ◉ sha3_256.tests.ex3 Passed
21. ◉ sha3_256.tests.ex4 Passed
22. ◉ sha3_512.tests.ex1 Passed
23. ◉ sha3_512.tests.ex2 Passed
24. ◉ sha3_512.tests.ex3 Passed
25. ◉ sha3_512.tests.ex4 Passed
✅ 25 test(s) passing
Tip: Use view blake2b_512.tests.ex1 to view the source of a
test.
Tip: Use view 1 to view the source of a test.
```
## HMAC tests
@ -479,38 +478,37 @@ test> md5.tests.ex3 =
Cached test results (`help testcache` to learn more)
◉ blake2b_512.tests.ex1 Passed
◉ blake2b_512.tests.ex2 Passed
◉ blake2b_512.tests.ex3 Passed
◉ blake2s_256.tests.ex1 Passed
◉ crypto.hash.numTests Passed
◉ md5.tests.ex1 Passed
◉ md5.tests.ex2 Passed
◉ md5.tests.ex3 Passed
◉ sha1.tests.ex1 Passed
◉ sha1.tests.ex2 Passed
◉ sha1.tests.ex3 Passed
◉ sha1.tests.ex4 Passed
◉ sha2_256.tests.ex1 Passed
◉ sha2_256.tests.ex2 Passed
◉ sha2_256.tests.ex3 Passed
◉ sha2_256.tests.ex4 Passed
◉ sha2_512.tests.ex1 Passed
◉ sha2_512.tests.ex2 Passed
◉ sha2_512.tests.ex3 Passed
◉ sha2_512.tests.ex4 Passed
◉ sha3_256.tests.ex1 Passed
◉ sha3_256.tests.ex2 Passed
◉ sha3_256.tests.ex3 Passed
◉ sha3_256.tests.ex4 Passed
◉ sha3_512.tests.ex1 Passed
◉ sha3_512.tests.ex2 Passed
◉ sha3_512.tests.ex3 Passed
◉ sha3_512.tests.ex4 Passed
1. ◉ blake2b_512.tests.ex1 Passed
2. ◉ blake2b_512.tests.ex2 Passed
3. ◉ blake2b_512.tests.ex3 Passed
4. ◉ blake2s_256.tests.ex1 Passed
5. ◉ crypto.hash.numTests Passed
6. ◉ md5.tests.ex1 Passed
7. ◉ md5.tests.ex2 Passed
8. ◉ md5.tests.ex3 Passed
9. ◉ sha1.tests.ex1 Passed
10. ◉ sha1.tests.ex2 Passed
11. ◉ sha1.tests.ex3 Passed
12. ◉ sha1.tests.ex4 Passed
13. ◉ sha2_256.tests.ex1 Passed
14. ◉ sha2_256.tests.ex2 Passed
15. ◉ sha2_256.tests.ex3 Passed
16. ◉ sha2_256.tests.ex4 Passed
17. ◉ sha2_512.tests.ex1 Passed
18. ◉ sha2_512.tests.ex2 Passed
19. ◉ sha2_512.tests.ex3 Passed
20. ◉ sha2_512.tests.ex4 Passed
21. ◉ sha3_256.tests.ex1 Passed
22. ◉ sha3_256.tests.ex2 Passed
23. ◉ sha3_256.tests.ex3 Passed
24. ◉ sha3_256.tests.ex4 Passed
25. ◉ sha3_512.tests.ex1 Passed
26. ◉ sha3_512.tests.ex2 Passed
27. ◉ sha3_512.tests.ex3 Passed
28. ◉ sha3_512.tests.ex4 Passed
✅ 28 test(s) passing
Tip: Use view blake2b_512.tests.ex1 to view the source of a
test.
Tip: Use view 1 to view the source of a test.
```

28
unison-src/transcripts-using-base/mvar.output.md
View File

@ -77,22 +77,22 @@ testMvars _ =
New test results:
◉ testMvars ma should not be empty
◉ testMvars should read what you sow
◉ testMvars should reap what you sow
◉ testMvars ma should be empty
◉ testMvars swap returns old contents
◉ testMvars swap returns old contents
◉ testMvars tryRead should succeed when not empty
◉ testMvars tryPut should fail when not empty
◉ testMvars tryTake should succeed when not empty
◉ testMvars tryTake should not succeed when empty
◉ testMvars ma2 should be empty
◉ testMvars tryTake should fail when empty
◉ testMvars tryRead should fail when empty
1. ◉ testMvars ma should not be empty
2. ◉ testMvars should read what you sow
3. ◉ testMvars should reap what you sow
4. ◉ testMvars ma should be empty
5. ◉ testMvars swap returns old contents
6. ◉ testMvars swap returns old contents
7. ◉ testMvars tryRead should succeed when not empty
8. ◉ testMvars tryPut should fail when not empty
9. ◉ testMvars tryTake should succeed when not empty
10. ◉ testMvars tryTake should not succeed when empty
11. ◉ testMvars ma2 should be empty
12. ◉ testMvars tryTake should fail when empty
13. ◉ testMvars tryRead should fail when empty
✅ 13 test(s) passing
Tip: Use view testMvars to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

30
unison-src/transcripts-using-base/nat-coersion.output.md
View File

@ -63,23 +63,23 @@ test = 'let
New test results:
◉ test expected 0.0 got 0.0
◉ test round trip though float, expected 0 got 0
◉ test expected 0 got 0
◉ test round trip though Int, expected 0 got 0
◉ test skipped
◉ test expected 1 got 1
◉ test round trip though Int, expected 1 got 1
◉ test skipped
◉ test expected -1 got -1
◉ test round trip though Int, expected 18446744073709551615 got 18446744073709551615
◉ test expected 1.0000000000000002 got 1.0000000000000002
◉ test round trip though float, expected 4607182418800017409 got 4607182418800017409
◉ test expected 4607182418800017409 got 4607182418800017409
◉ test round trip though Int, expected 4607182418800017409 got 4607182418800017409
1. ◉ test expected 0.0 got 0.0
2. ◉ test round trip though float, expected 0 got 0
3. ◉ test expected 0 got 0
4. ◉ test round trip though Int, expected 0 got 0
5. ◉ test skipped
6. ◉ test expected 1 got 1
7. ◉ test round trip though Int, expected 1 got 1
8. ◉ test skipped
9. ◉ test expected -1 got -1
10. ◉ test round trip though Int, expected 18446744073709551615 got 18446744073709551615
11. ◉ test expected 1.0000000000000002 got 1.0000000000000002
12. ◉ test round trip though float, expected 4607182418800017409 got 4607182418800017409
13. ◉ test expected 4607182418800017409 got 4607182418800017409
14. ◉ test round trip though Int, expected 4607182418800017409 got 4607182418800017409
✅ 14 test(s) passing
Tip: Use view test to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

12
unison-src/transcripts-using-base/net.output.md
View File

@ -119,13 +119,13 @@ testDefaultPort _ =
New test results:
◉ testDefaultPort successfully created socket
◉ testDefaultPort port should be > 1024
◉ testDefaultPort port should be < 65536
1. ◉ testDefaultPort successfully created socket
2. ◉ testDefaultPort port should be > 1024
3. ◉ testDefaultPort port should be < 65536
✅ 3 test(s) passing
Tip: Use view testDefaultPort to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
This example demonstrates connecting a TCP client socket to a TCP server socket. A thread is started for both client and server. The server socket asks for any availalbe port (by passing "0" as the port number). The server thread then queries for the actual assigned port number, and puts that into an MVar which the client thread can read. The client thread then reads a string from the server and reports it back to the main thread via a different MVar.
@ -206,10 +206,10 @@ testTcpConnect = 'let
New test results:
◉ testTcpConnect should have reaped what we've sown
1. ◉ testTcpConnect should have reaped what we've sown
✅ 1 test(s) passing
Tip: Use view testTcpConnect to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

12
unison-src/transcripts-using-base/random-deserial.output.md
View File

@ -89,14 +89,14 @@ serialTests = do
New test results:
◉ serialTests case-00
◉ serialTests case-01
◉ serialTests case-02
◉ serialTests case-03
◉ serialTests case-04
1. ◉ serialTests case-00
2. ◉ serialTests case-01
3. ◉ serialTests case-02
4. ◉ serialTests case-03
5. ◉ serialTests case-04
✅ 5 test(s) passing
Tip: Use view serialTests to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

22
unison-src/transcripts-using-base/ref-promise.output.md
View File

@ -42,12 +42,12 @@ casTest = do
New test results:
◉ casTest CAS is successful is there were no conflicting writes
◉ casTest CAS fails when there was an intervening write
1. ◉ casTest CAS is successful is there were no conflicting writes
2. ◉ casTest CAS fails when there was an intervening write
✅ 2 test(s) passing
Tip: Use view casTest to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
Promise is a simple one-shot awaitable condition.
@ -106,24 +106,22 @@ promiseConcurrentTest = do
New test results:
◉ promiseSequentialTest Should read a value that's been written
◉ promiseSequentialTest Promise can only be written to once
1. ◉ promiseSequentialTest Should read a value that's been written
2. ◉ promiseSequentialTest Promise can only be written to once
✅ 2 test(s) passing
Tip: Use view promiseSequentialTest to view the source of a
test.
Tip: Use view 1 to view the source of a test.
.> io.test promiseConcurrentTest
New test results:
◉ promiseConcurrentTest Reads awaits for completion of the Promise
1. ◉ promiseConcurrentTest Reads awaits for completion of the Promise
✅ 1 test(s) passing
Tip: Use view promiseConcurrentTest to view the source of a
test.
Tip: Use view 1 to view the source of a test.
```
CAS can be used to write an atomic update function.
@ -248,10 +246,10 @@ fullTest = do
New test results:
◉ fullTest The state of the counter is consistent
1. ◉ fullTest The state of the counter is consistent
✅ 1 test(s) passing
Tip: Use view fullTest to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

22
unison-src/transcripts-using-base/stm.output.md
View File

@ -119,19 +119,19 @@ tests = '(map spawn nats)
New test results:
◉ tests verified
◉ tests verified
◉ tests verified
◉ tests verified
◉ tests verified
◉ tests verified
◉ tests verified
◉ tests verified
◉ tests verified
◉ tests verified
1. ◉ tests verified
2. ◉ tests verified
3. ◉ tests verified
4. ◉ tests verified
5. ◉ tests verified
6. ◉ tests verified
7. ◉ tests verified
8. ◉ tests verified
9. ◉ tests verified
10. ◉ tests verified
✅ 10 test(s) passing
Tip: Use view tests to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

9
unison-src/transcripts-using-base/thread.output.md
View File

@ -82,12 +82,11 @@ testBasicMultiThreadMVar = 'let
New test results:
◉ testBasicMultiThreadMVar other thread should have incremented
1. ◉ testBasicMultiThreadMVar other thread should have incremented
✅ 1 test(s) passing
Tip: Use view testBasicMultiThreadMVar to view the source of a
test.
Tip: Use view 1 to view the source of a test.
```
```unison
@ -158,10 +157,10 @@ testTwoThreads = 'let
New test results:
◉ testTwoThreads
1. ◉ testTwoThreads
✅ 1 test(s) passing
Tip: Use view testTwoThreads to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

19
unison-src/transcripts-using-base/tls.output.md
View File

@ -55,12 +55,12 @@ what_should_work _ = this_should_work ++ this_should_not_work
New test results:
◉ what_should_work succesfully decoded self_signed_pem
◉ what_should_work failed
1. ◉ what_should_work succesfully decoded self_signed_pem
2. ◉ what_should_work failed
✅ 2 test(s) passing
Tip: Use view what_should_work to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
Test handshaking a client/server a local TCP connection using our
@ -255,31 +255,30 @@ testCNReject _ =
New test results:
◉ testConnectSelfSigned should have reaped what we've sown
1. ◉ testConnectSelfSigned should have reaped what we've sown
✅ 1 test(s) passing
Tip: Use view testConnectSelfSigned to view the source of a
test.
Tip: Use view 1 to view the source of a test.
.> io.test testCAReject
New test results:
◉ testCAReject correctly rejected self-signed cert
1. ◉ testCAReject correctly rejected self-signed cert
✅ 1 test(s) passing
Tip: Use view testCAReject to view the source of a test.
Tip: Use view 1 to view the source of a test.
.> io.test testCNReject
New test results:
◉ testCNReject correctly rejected self-signed cert
1. ◉ testCNReject correctly rejected self-signed cert
✅ 1 test(s) passing
Tip: Use view testCNReject to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

60
unison-src/transcripts/builtins.output.md
View File

@ -490,11 +490,11 @@ openFilesIO = do
New test results:
◉ openFilesIO Passed
1. ◉ openFilesIO Passed
✅ 1 test(s) passing
Tip: Use view openFilesIO to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
## Universal hash functions
@ -539,36 +539,36 @@ Now that all the tests have been added to the codebase, let's view the test repo
Cached test results (`help testcache` to learn more)
◉ Any.test1 Passed
◉ Any.test2 Passed
◉ Boolean.tests.andTable Passed
◉ Boolean.tests.notTable Passed
◉ Boolean.tests.orTable Passed
◉ Bytes.tests.at Passed
◉ Bytes.tests.compression Passed
◉ Bytes.tests.fromBase64UrlUnpadded Passed
◉ Bytes.tests.indexOf Passed
◉ Int.tests.arithmetic Passed
◉ Int.tests.bitTwiddling Passed
◉ Int.tests.conversions Passed
◉ Nat.tests.arithmetic Passed
◉ Nat.tests.bitTwiddling Passed
◉ Nat.tests.conversions Passed
◉ Sandbox.test1 Passed
◉ Sandbox.test2 Passed
◉ Sandbox.test3 Passed
◉ test.rtjqan7bcs Passed
◉ Text.tests.alignment Passed
◉ Text.tests.indexOf Passed
◉ Text.tests.indexOfEmoji Passed
◉ Text.tests.literalsEq Passed
◉ Text.tests.patterns Passed
◉ Text.tests.repeat Passed
◉ Text.tests.takeDropAppend Passed
◉ Universal.murmurHash.tests Passed
1. ◉ Any.test1 Passed
2. ◉ Any.test2 Passed
3. ◉ Boolean.tests.andTable Passed
4. ◉ Boolean.tests.notTable Passed
5. ◉ Boolean.tests.orTable Passed
6. ◉ Bytes.tests.at Passed
7. ◉ Bytes.tests.compression Passed
8. ◉ Bytes.tests.fromBase64UrlUnpadded Passed
9. ◉ Bytes.tests.indexOf Passed
10. ◉ Int.tests.arithmetic Passed
11. ◉ Int.tests.bitTwiddling Passed
12. ◉ Int.tests.conversions Passed
13. ◉ Nat.tests.arithmetic Passed
14. ◉ Nat.tests.bitTwiddling Passed
15. ◉ Nat.tests.conversions Passed
16. ◉ Sandbox.test1 Passed
17. ◉ Sandbox.test2 Passed
18. ◉ Sandbox.test3 Passed
19. ◉ test.rtjqan7bcs Passed
20. ◉ Text.tests.alignment Passed
21. ◉ Text.tests.indexOf Passed
22. ◉ Text.tests.indexOfEmoji Passed
23. ◉ Text.tests.literalsEq Passed
24. ◉ Text.tests.patterns Passed
25. ◉ Text.tests.repeat Passed
26. ◉ Text.tests.takeDropAppend Passed
27. ◉ Universal.murmurHash.tests Passed
✅ 27 test(s) passing
Tip: Use view Any.test1 to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

8
unison-src/transcripts/fix2049.output.md
View File

@ -132,12 +132,12 @@ tests _ =
New test results:
◉ tests caught
◉ tests caught
◉ tests got the right answer
1. ◉ tests caught
2. ◉ tests caught
3. ◉ tests got the right answer
✅ 3 test(s) passing
Tip: Use view tests to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

8
unison-src/transcripts/fix4172.output.md
View File

@ -49,11 +49,11 @@ allowDebug = debug [1,2,3]
Cached test results (`help testcache` to learn more)
◉ t1 Yay
1. ◉ t1 Yay
✅ 1 test(s) passing
Tip: Use view t1 to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
```unison
@ -91,10 +91,10 @@ bool = false
New test results:
✗ t1 [1, 2, 3]
1. ✗ t1 [1, 2, 3]
🚫 1 test(s) failing
Tip: Use view t1 to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

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

@ -11,13 +11,13 @@
🎨 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!
```
@ -33,21 +33,21 @@ test> fix5080.tests.failure = check (2 Nat.== 4)
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These new definitions are ok to `add`:
fix5080.tests.failure : [Result]
fix5080.tests.success : [Result]
Now evaluating any watch expressions (lines starting with
`>`)... Ctrl+C cancels.
1 | test> fix5080.tests.success = check (6 Nat.== 6)
✅ Passed Passed
2 | test> fix5080.tests.failure = check (2 Nat.== 4)
🚫 FAILED Failed
```
@ -55,57 +55,36 @@ test> fix5080.tests.failure = check (2 Nat.== 4)
test-5080/main> add
⍟ I've added these definitions:
fix5080.tests.failure : [Result]
fix5080.tests.success : [Result]
test-5080/main> test
Cached test results (`help testcache` to learn more)
◉ fix5080.tests.success Passed
✗ fix5080.tests.failure Failed
1. ◉ fix5080.tests.success Passed
2. ✗ fix5080.tests.failure Failed
🚫 1 test(s) failing, ✅ 1 test(s) passing
Tip: Use view fix5080.tests.failure to view the source of a
test.
Tip: Use view 1 to view the source of a test.
```
```ucm
test-5080/main> delete.term 2
Done.
test-5080/main> test
Cached test results (`help testcache` to learn more)
◉ fix5080.tests.success Passed
✗ fix5080.tests.failure Failed
🚫 1 test(s) failing, ✅ 1 test(s) passing
Tip: Use view fix5080.tests.failure to view the source of a
test.
1. ◉ fix5080.tests.success Passed
✅ 1 test(s) passing
Tip: Use view 1 to view the source of a test.
```
🛑
The transcript failed due to an error in the stanza above. The error is:
Cached test results (`help testcache` to learn more)
◉ fix5080.tests.success Passed
✗ fix5080.tests.failure Failed
🚫 1 test(s) failing, ✅ 1 test(s) passing
Tip: Use view fix5080.tests.failure to view the source of a
test.

4
unison-src/transcripts/fix942.output.md
View File

@ -116,10 +116,10 @@ test> t1 = if z == 3 then [Fail "nooo!!!"] else [Ok "great"]
Cached test results (`help testcache` to learn more)
◉ t1 great
1. ◉ t1 great
✅ 1 test(s) passing
Tip: Use view t1 to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

18
unison-src/transcripts/io-test-command.output.md
View File

@ -22,21 +22,21 @@ Run a IO tests one by one
New test results:
◉ ioAndExceptionTest Success
1. ◉ ioAndExceptionTest Success
✅ 1 test(s) passing
Tip: Use view ioAndExceptionTest to view the source of a test.
Tip: Use view 1 to view the source of a test.
.> io.test ioTest
New test results:
◉ ioTest Success
1. ◉ ioTest Success
✅ 1 test(s) passing
Tip: Use view ioTest to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
`io.test` doesn't cache results
@ -46,11 +46,11 @@ Run a IO tests one by one
New test results:
◉ ioAndExceptionTest Success
1. ◉ ioAndExceptionTest Success
✅ 1 test(s) passing
Tip: Use view ioAndExceptionTest to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
`io.test.all` will run all matching tests except those in the `lib` namespace.
@ -68,11 +68,11 @@ Run a IO tests one by one
New test results:
◉ ioAndExceptionTest Success
◉ ioTest Success
1. ◉ ioAndExceptionTest Success
2. ◉ ioTest Success
✅ 2 test(s) passing
Tip: Use view ioAndExceptionTest to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

104
unison-src/transcripts/io.output.md
View File

@ -69,17 +69,17 @@ testCreateRename _ =
New test results:
◉ testCreateRename create a foo directory
◉ testCreateRename directory should exist
◉ testCreateRename foo should no longer exist
◉ testCreateRename directory should no longer exist
◉ testCreateRename bar should now exist
◉ testCreateRename removeDirectory works recursively
◉ testCreateRename removeDirectory works recursively
1. ◉ testCreateRename create a foo directory
2. ◉ testCreateRename directory should exist
3. ◉ testCreateRename foo should no longer exist
4. ◉ testCreateRename directory should no longer exist
5. ◉ testCreateRename bar should now exist
6. ◉ testCreateRename removeDirectory works recursively
7. ◉ testCreateRename removeDirectory works recursively
✅ 7 test(s) passing
Tip: Use view testCreateRename to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
### Opening / Closing files
@ -151,16 +151,16 @@ testOpenClose _ =
New test results:
◉ testOpenClose file should be open
◉ testOpenClose file handle buffering should match what we just set.
◉ testOpenClose file should be closed
◉ testOpenClose bytes have been written
◉ testOpenClose bytes have been written
◉ testOpenClose file should be closed
1. ◉ testOpenClose file should be open
2. ◉ testOpenClose file handle buffering should match what we just set.
3. ◉ testOpenClose file should be closed
4. ◉ testOpenClose bytes have been written
5. ◉ testOpenClose bytes have been written
6. ◉ testOpenClose file should be closed
✅ 6 test(s) passing
Tip: Use view testOpenClose to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
### Reading files with getSomeBytes
@ -241,18 +241,18 @@ testGetSomeBytes _ =
New test results:
◉ testGetSomeBytes chunk size splits data into 2 uneven sides
◉ testGetSomeBytes file should be closed
◉ testGetSomeBytes first chunk matches first part of testData
◉ testGetSomeBytes second chunk matches rest of testData
◉ testGetSomeBytes should be at end of file
◉ testGetSomeBytes reading at end of file results in Bytes.empty
◉ testGetSomeBytes requesting many bytes results in what's available
◉ testGetSomeBytes file should be closed
1. ◉ testGetSomeBytes chunk size splits data into 2 uneven sides
2. ◉ testGetSomeBytes file should be closed
3. ◉ testGetSomeBytes first chunk matches first part of testData
4. ◉ testGetSomeBytes second chunk matches rest of testData
5. ◉ testGetSomeBytes should be at end of file
6. ◉ testGetSomeBytes reading at end of file results in Bytes.empty
7. ◉ testGetSomeBytes requesting many bytes results in what's available
8. ◉ testGetSomeBytes file should be closed
✅ 8 test(s) passing
Tip: Use view testGetSomeBytes to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
### Seeking in open files
@ -350,27 +350,27 @@ testAppend _ =
New test results:
◉ testSeek seeked
◉ testSeek readable file should be seekable
◉ testSeek shouldn't be the EOF
◉ testSeek we should be at position 0
◉ testSeek we should be at position 1
◉ testSeek should be able to read our temporary file after seeking
◉ testSeek getLine should get a line
1. ◉ testSeek seeked
2. ◉ testSeek readable file should be seekable
3. ◉ testSeek shouldn't be the EOF
4. ◉ testSeek we should be at position 0
5. ◉ testSeek we should be at position 1
6. ◉ testSeek should be able to read our temporary file after seeking
7. ◉ testSeek getLine should get a line
✅ 7 test(s) passing
Tip: Use view testSeek to view the source of a test.
Tip: Use view 1 to view the source of a test.
.> io.test testAppend
New test results:
◉ testAppend should be able to read our temporary file
1. ◉ testAppend should be able to read our temporary file
✅ 1 test(s) passing
Tip: Use view testAppend to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
### SystemTime
@ -408,11 +408,11 @@ testSystemTime _ =
New test results:
◉ testSystemTime systemTime should be sane
1. ◉ testSystemTime systemTime should be sane
✅ 1 test(s) passing
Tip: Use view testSystemTime to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
### Get temp directory
@ -438,13 +438,12 @@ testGetTempDirectory _ =
New test results:
◉ testGetTempDirectory Temp directory is directory
◉ testGetTempDirectory Temp directory should exist
1. ◉ testGetTempDirectory Temp directory is directory
2. ◉ testGetTempDirectory Temp directory should exist
✅ 2 test(s) passing
Tip: Use view testGetTempDirectory to view the source of a
test.
Tip: Use view 1 to view the source of a test.
```
### Get current directory
@ -470,13 +469,12 @@ testGetCurrentDirectory _ =
New test results:
◉ testGetCurrentDirectory Current directory is directory
◉ testGetCurrentDirectory Current directory should exist
1. ◉ testGetCurrentDirectory Current directory is directory
2. ◉ testGetCurrentDirectory Current directory should exist
✅ 2 test(s) passing
Tip: Use view testGetCurrentDirectory to view the source of a
test.
Tip: Use view 1 to view the source of a test.
```
### Get directory contents
@ -504,12 +502,12 @@ testDirContents _ =
New test results:
◉ testDirContents directory size should be
◉ testDirContents directory contents should have current directory and parent
1. ◉ testDirContents directory size should be
2. ◉ testDirContents directory contents should have current directory and parent
✅ 2 test(s) passing
Tip: Use view testDirContents to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
### Read environment variables
@ -537,12 +535,12 @@ testGetEnv _ =
New test results:
◉ testGetEnv PATH environent variable should be set
◉ testGetEnv DOESNTEXIST didn't exist
1. ◉ testGetEnv PATH environent variable should be set
2. ◉ testGetEnv DOESNTEXIST didn't exist
✅ 2 test(s) passing
Tip: Use view testGetEnv to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
### Read command line args
@ -701,11 +699,11 @@ testRandom = do
New test results:
◉ testGetEnv PATH environent variable should be set
◉ testGetEnv DOESNTEXIST didn't exist
1. ◉ testGetEnv PATH environent variable should be set
2. ◉ testGetEnv DOESNTEXIST didn't exist
✅ 2 test(s) passing
Tip: Use view testGetEnv to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

34
unison-src/transcripts/test-command.output.md
View File

@ -39,12 +39,12 @@ foo.test2 = [Ok "test2"]
New test results:
◉ foo.test2 test2
◉ test1 test1
1. ◉ foo.test2 test2
2. ◉ test1 test1
✅ 2 test(s) passing
Tip: Use view foo.test2 to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
Tests should be cached if unchanged.
@ -54,12 +54,12 @@ Tests should be cached if unchanged.
Cached test results (`help testcache` to learn more)
◉ foo.test2 test2
◉ test1 test1
1. ◉ foo.test2 test2
2. ◉ test1 test1
✅ 2 test(s) passing
Tip: Use view foo.test2 to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
`test` won't descend into the `lib` namespace, but `test.all` will.
@ -87,20 +87,20 @@ testInLib = [Ok "testInLib"]
Cached test results (`help testcache` to learn more)
◉ foo.test2 test2
◉ test1 test1
1. ◉ foo.test2 test2
2. ◉ test1 test1
✅ 2 test(s) passing
Tip: Use view foo.test2 to view the source of a test.
Tip: Use view 1 to view the source of a test.
.> test.all
Cached test results (`help testcache` to learn more)
◉ foo.test2 test2
◉ test1 test1
1. ◉ foo.test2 test2
2. ◉ test1 test1
✅ 2 test(s) passing
@ -112,11 +112,11 @@ testInLib = [Ok "testInLib"]
New test results:
◉ lib.testInLib testInLib
1. ◉ lib.testInLib testInLib
✅ 1 test(s) passing
Tip: Use view lib.testInLib to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
`test` WILL run tests within `lib` if ucm is cd'd inside.
@ -126,11 +126,11 @@ testInLib = [Ok "testInLib"]
Cached test results (`help testcache` to learn more)
◉ testInLib testInLib
1. ◉ testInLib testInLib
✅ 1 test(s) passing
Tip: Use view testInLib to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
`test` can be given a relative path, in which case it will only run tests found somewhere in that namespace.
@ -140,10 +140,10 @@ testInLib = [Ok "testInLib"]
Cached test results (`help testcache` to learn more)
◉ foo.test2 test2
1. ◉ foo.test2 test2
✅ 1 test(s) passing
Tip: Use view foo.test2 to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

4
unison-src/transcripts/top-level-exceptions.output.md
View File

@ -55,11 +55,11 @@ mytest _ = [Ok "Great"]
New test results:
◉ mytest Great
1. ◉ mytest Great
✅ 1 test(s) passing
Tip: Use view mytest to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
Now a test to show the handling of uncaught exceptions:

4
unison-src/transcripts/unsafe-coerce.output.md
View File

@ -45,10 +45,10 @@ main _ =
New test results:
◉ main
1. ◉ main
✅ 1 test(s) passing
Tip: Use view main to view the source of a test.
Tip: Use view 1 to view the source of a test.
```

4
unison-src/transcripts/watch-expressions.output.md
View File

@ -64,11 +64,11 @@ test> pass = [Ok "Passed"]
Cached test results (`help testcache` to learn more)
◉ pass Passed
1. ◉ pass Passed
✅ 1 test(s) passing
Tip: Use view pass to view the source of a test.
Tip: Use view 1 to view the source of a test.
```
```unison