unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-26 11:07:48 +03:00
Code Issues Projects Releases Wiki Activity
75c228f4e1
unison/unison-src/transcripts/fix942.md
Greg Pfeil 75c228f4e1
Use CommonMark-compatible info strings everywhere 
The bulk of this updates transcripts to put spaces around the language
name in code blocks. E.g.,
```` markdown
```ucm:hide
````
becomes
```` markdown
``` ucm :hide
````

This corresponds to
https://share.unison-lang.org/@unison/website/contributions/11, which
updates the docs in the same way.

This is effectively a fix for #5214, but that issue also has good recommendations for future changes to info strings, so
I don’t know that it should be closed.
2024-10-08 14:23:34 -06:00

482 B
Raw Blame History 

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