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/upgrade-sad-path.md

424 B
Raw Permalink Blame History 

proj/main> builtins.merge lib.builtin

lib.old.foo = 17
lib.new.foo = +18
thingy = lib.old.foo + 10

proj/main> add

proj/main> upgrade old new

Resolve the error and commit the upgrade.

thingy = foo + +10

proj/upgrade-old-to-new> update
proj/upgrade-old-to-new> upgrade.commit
proj/main> view thingy
proj/main> ls lib
proj/main> branches