unison/unison-src/transcripts/fix5080.output.md

.> project.create test-5080

  🎉 I've created the project test-5080.

  I'll now fetch the latest version of the base Unison
  library...

  Downloaded 14053 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!

test> fix5080.tests.success = check (6 Nat.== 6)
test> fix5080.tests.failure = check (2 Nat.== 4)

  Loading changes detected in scratch.u.

  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

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 test(s) failing, ✅ 1 test(s) passing
  
  Tip: Use view fix5080.tests.failure to view the source of a
       test.

test-5080/main> delete.term 2

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.

🛑

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.