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
trunk
unison/unison-src/transcripts/fix4482.output.md
Greg Pfeil 0031542faf
Add a space before code block info strings 
This is for consistency with the `cmark` style. Now the blocks we still
pretty-print ourselves will match the bulk of them that `cmark`
produces.
2024-07-10 13:56:07 -06:00

1.3 KiB
Raw Permalink Blame History 

lib.foo0.lib.bonk1.bar = 203
lib.foo0.baz = 1
lib.foo1.zonk = 204
lib.foo1.lib.bonk2.qux = 1
mybar = bar + bar


  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`:
    
      lib.foo0.baz           : Nat
      lib.foo0.lib.bonk1.bar : Nat
      lib.foo1.lib.bonk2.qux : Nat
      lib.foo1.zonk          : Nat
      mybar                  : Nat


myproj/main> add

  ⍟ I've added these definitions:
  
    lib.foo0.baz           : Nat
    lib.foo0.lib.bonk1.bar : Nat
    lib.foo1.lib.bonk2.qux : Nat
    lib.foo1.zonk          : Nat
    mybar                  : Nat

myproj/main> upgrade foo0 foo1

  I couldn't automatically upgrade foo0 to foo1. However, I've
  added the definitions that need attention to the top of
  scratch.u.
  
  When you're done, you can run
  
    upgrade.commit
  
  to merge your changes back into main and delete the temporary
  branch. Or, if you decide to cancel the upgrade instead, you
  can run
  
    delete.branch /upgrade-foo0-to-foo1
  
  to delete the temporary branch and switch back to main.


mybar : Nat
mybar =
  use Nat +
  use lib.foo0.lib.bonk1 bar
  bar + bar