mirror of https://github.com/unisonweb/unison.git synced 2024-09-23 16:28:02 +03:00

Scott Christopher 72f1e3754f Fix delete.term-replacement to support coinciding type and term names

Resolves #1804

Removes names from `hqNameQuery` misses in `doRemoveReplacement` when the relevant type or term exists in both.

2021-02-10 22:21:17 +10:30

Deleting term and type replacements from patches

x = 1

.> add

x = 2

.> update
.> view.patch

.> delete.term-replacement #jk19
.> view.patch

type Foo = Foo

.> add

type Foo = Foo | Bar

.> update
.> view.patch

.> delete.type-replacement #568rsi7o3g
.> view.patch

bar = 3
type bar = Foo

.> add

type bar = Foo | Bar

.> update
.> view.patch
.> delete.type-replacement bar
.> view.patch