mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 02:25:39 +03:00
failing transcript
This commit is contained in:
parent
4c3eb03079
commit
01cae7efdb
26
unison-src/transcripts/fix3424.md
Normal file
26
unison-src/transcripts/fix3424.md
Normal file
@ -0,0 +1,26 @@
|
||||
```ucm
|
||||
scratch/main> builtins.merge lib.builtins
|
||||
```
|
||||
|
||||
```unison:hide
|
||||
a = do b
|
||||
b = "Hello, " ++ c ++ "!"
|
||||
c = "World"
|
||||
```
|
||||
|
||||
```ucm
|
||||
scratch/main> add
|
||||
scratch/main> run a
|
||||
```
|
||||
|
||||
```unison:hide
|
||||
a = do b
|
||||
c = "Unison"
|
||||
```
|
||||
|
||||
```ucm
|
||||
scratch/main> update
|
||||
scratch/main> run a
|
||||
```
|
||||
|
||||
The result should be "Hello, Unison!".
|
50
unison-src/transcripts/fix3424.output.md
Normal file
50
unison-src/transcripts/fix3424.output.md
Normal file
@ -0,0 +1,50 @@
|
||||
``` ucm
|
||||
scratch/main> builtins.merge lib.builtins
|
||||
|
||||
Done.
|
||||
|
||||
```
|
||||
``` unison
|
||||
a = do b
|
||||
b = "Hello, " ++ c ++ "!"
|
||||
c = "World"
|
||||
```
|
||||
|
||||
``` ucm
|
||||
scratch/main> add
|
||||
|
||||
⍟ I've added these definitions:
|
||||
|
||||
a : 'Text
|
||||
b : Text
|
||||
c : Text
|
||||
|
||||
scratch/main> run a
|
||||
|
||||
"Hello, World!"
|
||||
|
||||
```
|
||||
``` unison
|
||||
a = do b
|
||||
c = "Unison"
|
||||
```
|
||||
|
||||
``` ucm
|
||||
scratch/main> update
|
||||
|
||||
Okay, I'm searching the branch for code that needs to be
|
||||
updated...
|
||||
|
||||
That's done. Now I'm making sure everything typechecks...
|
||||
|
||||
Everything typechecks, so I'm saving the results...
|
||||
|
||||
Done.
|
||||
|
||||
scratch/main> run a
|
||||
|
||||
"Hello, World!"
|
||||
|
||||
```
|
||||
The result should be "Hello, Unison\!".
|
||||
|
Loading…
Reference in New Issue
Block a user