mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +03:00
Add transcripts for fixed issues
This shows that this change fixes #1421, #2826, #5141, and #5168.
This commit is contained in:
parent
b657d0dd50
commit
8416708a29
8
unison-src/transcripts/fix1421.md
Normal file
8
unison-src/transcripts/fix1421.md
Normal file
@ -0,0 +1,8 @@
|
|||||||
|
```ucm
|
||||||
|
scratch/main> alias.type ##Nat Nat
|
||||||
|
scratch/main> alias.term ##Nat.+ Nat.+
|
||||||
|
```
|
||||||
|
```unison
|
||||||
|
unique type A = A Nat
|
||||||
|
unique type B = B Nat Nat
|
||||||
|
```
|
29
unison-src/transcripts/fix1421.output.md
Normal file
29
unison-src/transcripts/fix1421.output.md
Normal file
@ -0,0 +1,29 @@
|
|||||||
|
``` ucm
|
||||||
|
scratch/main> alias.type ##Nat Nat
|
||||||
|
|
||||||
|
Done.
|
||||||
|
|
||||||
|
scratch/main> alias.term ##Nat.+ Nat.+
|
||||||
|
|
||||||
|
Done.
|
||||||
|
|
||||||
|
```
|
||||||
|
``` unison
|
||||||
|
unique type A = A Nat
|
||||||
|
unique type B = B Nat Nat
|
||||||
|
```
|
||||||
|
|
||||||
|
``` ucm
|
||||||
|
|
||||||
|
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`:
|
||||||
|
|
||||||
|
type A
|
||||||
|
type B
|
||||||
|
|
||||||
|
```
|
23
unison-src/transcripts/fix2826.md
Normal file
23
unison-src/transcripts/fix2826.md
Normal file
@ -0,0 +1,23 @@
|
|||||||
|
```ucm
|
||||||
|
scratch/main> builtins.mergeio
|
||||||
|
```
|
||||||
|
|
||||||
|
Supports fences that are longer than three backticks.
|
||||||
|
|
||||||
|
````unison
|
||||||
|
|
||||||
|
doc = {{
|
||||||
|
@typecheck ```
|
||||||
|
x = 3
|
||||||
|
```
|
||||||
|
}}
|
||||||
|
|
||||||
|
````
|
||||||
|
|
||||||
|
And round-trips properly.
|
||||||
|
|
||||||
|
```ucm
|
||||||
|
scratch/main> add
|
||||||
|
scratch/main> edit doc
|
||||||
|
scratch/main> load scratch.u
|
||||||
|
```
|
66
unison-src/transcripts/fix2826.output.md
Normal file
66
unison-src/transcripts/fix2826.output.md
Normal file
@ -0,0 +1,66 @@
|
|||||||
|
``` ucm
|
||||||
|
scratch/main> builtins.mergeio
|
||||||
|
|
||||||
|
Done.
|
||||||
|
|
||||||
|
```
|
||||||
|
Supports fences that are longer than three backticks.
|
||||||
|
|
||||||
|
```` unison
|
||||||
|
doc = {{
|
||||||
|
@typecheck ```
|
||||||
|
x = 3
|
||||||
|
```
|
||||||
|
}}
|
||||||
|
|
||||||
|
````
|
||||||
|
|
||||||
|
``` ucm
|
||||||
|
|
||||||
|
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`:
|
||||||
|
|
||||||
|
doc : Doc2
|
||||||
|
|
||||||
|
```
|
||||||
|
And round-trips properly.
|
||||||
|
|
||||||
|
``` ucm
|
||||||
|
scratch/main> add
|
||||||
|
|
||||||
|
⍟ I've added these definitions:
|
||||||
|
|
||||||
|
doc : Doc2
|
||||||
|
|
||||||
|
scratch/main> edit doc
|
||||||
|
|
||||||
|
☝️
|
||||||
|
|
||||||
|
I added 1 definitions to the top of scratch.u
|
||||||
|
|
||||||
|
You can edit them there, then run `update` to replace the
|
||||||
|
definitions currently in this namespace.
|
||||||
|
|
||||||
|
scratch/main> load scratch.u
|
||||||
|
|
||||||
|
Loading changes detected in scratch.u.
|
||||||
|
|
||||||
|
I found and typechecked the definitions in scratch.u. This
|
||||||
|
file has been previously added to the codebase.
|
||||||
|
|
||||||
|
```
|
||||||
|
```` unison:added-by-ucm scratch.u
|
||||||
|
doc : Doc2
|
||||||
|
doc =
|
||||||
|
{{
|
||||||
|
@typecheck ```
|
||||||
|
x = 3
|
||||||
|
```
|
||||||
|
}}
|
||||||
|
````
|
||||||
|
|
5
unison-src/transcripts/fix5141.md
Normal file
5
unison-src/transcripts/fix5141.md
Normal file
@ -0,0 +1,5 @@
|
|||||||
|
<!--
|
||||||
|
```ucm
|
||||||
|
.> invalid.command
|
||||||
|
```
|
||||||
|
-->
|
6
unison-src/transcripts/fix5141.output.md
Normal file
6
unison-src/transcripts/fix5141.output.md
Normal file
@ -0,0 +1,6 @@
|
|||||||
|
<!--
|
||||||
|
```ucm
|
||||||
|
.> invalid.command
|
||||||
|
```
|
||||||
|
-->
|
||||||
|
|
4
unison-src/transcripts/fix5168.md
Normal file
4
unison-src/transcripts/fix5168.md
Normal file
@ -0,0 +1,4 @@
|
|||||||
|
The `edit` seems to suppress a following ```` ```unison ```` block:
|
||||||
|
```unison
|
||||||
|
b = 2
|
||||||
|
```
|
19
unison-src/transcripts/fix5168.output.md
Normal file
19
unison-src/transcripts/fix5168.output.md
Normal file
@ -0,0 +1,19 @@
|
|||||||
|
The `edit` seems to suppress a following ` ```unison ` block:
|
||||||
|
|
||||||
|
``` unison
|
||||||
|
b = 2
|
||||||
|
```
|
||||||
|
|
||||||
|
``` ucm
|
||||||
|
|
||||||
|
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`:
|
||||||
|
|
||||||
|
b : ##Nat
|
||||||
|
|
||||||
|
```
|
Loading…
Reference in New Issue
Block a user