mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-19 06:17:33 +03:00
add unique-type-churn transcript
This commit is contained in:
parent
d739bb629b
commit
cca29a9e95
20
unison-src/transcripts/unique-type-churn.md
Normal file
20
unison-src/transcripts/unique-type-churn.md
Normal file
@ -0,0 +1,20 @@
|
||||
This transcript demonstrates that unique types no longer always get a fresh GUID: they share GUIDs with already-saved
|
||||
unique types of the same name.
|
||||
|
||||
```unison
|
||||
unique type A = A
|
||||
|
||||
unique type B = B C
|
||||
unique type C = C B
|
||||
```
|
||||
|
||||
```ucm
|
||||
.> add
|
||||
```
|
||||
|
||||
```unison
|
||||
unique type A = A
|
||||
|
||||
unique type B = B C
|
||||
unique type C = C B
|
||||
```
|
46
unison-src/transcripts/unique-type-churn.output.md
Normal file
46
unison-src/transcripts/unique-type-churn.output.md
Normal file
@ -0,0 +1,46 @@
|
||||
This transcript demonstrates that unique types no longer always get a fresh GUID: they share GUIDs with already-saved
|
||||
unique types of the same name.
|
||||
|
||||
```unison
|
||||
unique type A = A
|
||||
|
||||
unique type B = B C
|
||||
unique type C = C B
|
||||
```
|
||||
|
||||
```ucm
|
||||
|
||||
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`:
|
||||
|
||||
unique type A
|
||||
unique type B
|
||||
unique type C
|
||||
|
||||
```
|
||||
```ucm
|
||||
.> add
|
||||
|
||||
⍟ I've added these definitions:
|
||||
|
||||
unique type A
|
||||
unique type B
|
||||
unique type C
|
||||
|
||||
```
|
||||
```unison
|
||||
unique type A = A
|
||||
|
||||
unique type B = B C
|
||||
unique type C = C B
|
||||
```
|
||||
|
||||
```ucm
|
||||
|
||||
I found and typechecked the definitions in scratch.u. This
|
||||
file has been previously added to the codebase.
|
||||
|
||||
```
|
Loading…
Reference in New Issue
Block a user