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

``` unison
debug a = match Debug.toText a with
  None -> ""
  Some (Left a) -> a
  Some (Right a) -> a

test> t1 = if bool then [Ok "Yay"] 
           else [Fail (debug [1,2,3])]
bool = true

allowDebug = debug [1,2,3]
```

``` ucm

  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`:
    
      allowDebug : Text
      bool       : Boolean
      debug      : a -> Text
      t1         : [Result]
  
  Now evaluating any watch expressions (lines starting with
  `>`)... Ctrl+C cancels.

    6 | test> t1 = if bool then [Ok "Yay"] 
    
    ✅ Passed Yay

```
``` ucm
scratch/main> add

  ⍟ I've added these definitions:
  
    allowDebug : Text
    bool       : Boolean
    debug      : a -> Text
    t1         : [Result]

scratch/main> test

  Cached test results (`help testcache` to learn more)
  
    1. t1   ◉ Yay
  
  ✅ 1 test(s) passing
  
  Tip: Use view 1 to view the source of a test.

```
``` unison
bool = false
```

``` ucm

  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 names already exist. You can `update` them to your
      new definition:
    
      bool : Boolean

```
``` ucm
scratch/main> update.old

  ⍟ I've updated these names to your new definition:
  
    bool : Boolean

scratch/main> test

  ✅  

  

  

    New test results:
  
    1. t1   ✗ [1, 2, 3]
  
  🚫 1 test(s) failing
  
  Tip: Use view 1 to view the source of a test.

```