mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 02:25:39 +03:00
make deleteReplacements transcript work
This commit is contained in:
parent
5330261d0c
commit
c61484112c
@ -67,7 +67,7 @@ unique[bb] type bar = Foo | Bar
|
||||
we get an error when attempting to delete something that is neither a type nor a term
|
||||
```ucm:error
|
||||
.> view.patch
|
||||
.> delete.type-replacement not-here
|
||||
.> delete.type-replacement notHere
|
||||
.> view.patch
|
||||
```
|
||||
|
||||
|
@ -214,12 +214,12 @@ we get an error when attempting to delete something that is neither a type nor a
|
||||
|
||||
This patch is empty.
|
||||
|
||||
.> delete.type-replacement not-here
|
||||
.> delete.type-replacement notHere
|
||||
|
||||
⚠️
|
||||
|
||||
The following names were not found in the codebase. Check your spelling.
|
||||
not-here
|
||||
notHere
|
||||
|
||||
.> view.patch
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user