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

Restore trailing whitespace in transcript

Browse Source
This commit is contained in:
Greg Pfeil 2024-06-26 16:05:48 -06:00
parent 2faa425d76
commit 94d5ab03d9
No known key found for this signature in database
GPG Key ID: 1193ACD196ED61F2
1 changed files with 17 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
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,20 +55,20 @@ 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)
1. ◉ fix5080.tests.success Passed
2. ✗ fix5080.tests.failure Failed
🚫 1 test(s) failing, ✅ 1 test(s) passing
Tip: Use view 1 to view the source of a test.
```
@ -80,11 +80,11 @@ test-5080/main> delete.term 2
test-5080/main> test
Cached test results (`help testcache` to learn more)
1. ◉ fix5080.tests.success Passed
✅ 1 test(s) passing
Tip: Use view 1 to view the source of a test.
```