unison/unison-src/transcripts/fix942.md
2024-06-25 11:11:07 -07:00

474 B

scratch/main> builtins.merge

First we add some code:

x = 0
y = x + 1
z = y + 2
scratch/main> add

Now we edit x to be 7, which should make z equal 10:

x = 7
scratch/main> update
scratch/main> view x y z

Uh oh! z is still referencing the old version. Just to confirm:

test> t1 = if z == 3 then [Fail "nooo!!!"] else [Ok "great"]
scratch/main> add
scratch/main> test