mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 02:25:39 +03:00
remove load command from transcript
This commit is contained in:
parent
b07fbab903
commit
1facd86d04
@ -3,7 +3,3 @@
|
|||||||
unique type Foo = Foo
|
unique type Foo = Foo
|
||||||
unique type sub.Foo =
|
unique type sub.Foo =
|
||||||
```
|
```
|
||||||
|
|
||||||
```ucm
|
|
||||||
.> load
|
|
||||||
```
|
|
||||||
|
@ -16,16 +16,3 @@ unique type sub.Foo =
|
|||||||
unique type sub.Foo
|
unique type sub.Foo
|
||||||
|
|
||||||
```
|
```
|
||||||
```ucm
|
|
||||||
.> load
|
|
||||||
|
|
||||||
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 Foo
|
|
||||||
unique type sub.Foo
|
|
||||||
|
|
||||||
```
|
|
||||||
|
Loading…
Reference in New Issue
Block a user