search

unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.81k stars 271 forks source link

bugfix: allow `delete.namespace` even if it would leave nameless references in `lib` #5452

Closed mitchellwrosen closed 1 week ago

mitchellwrosen commented 1 week ago

Overview

Fixes #5446

This PR tweaks delete.namespace to allow deleting namespaces that would leave something in lib without a name. It also eliminates things in lib from the output of a legitimate refusal to delete.namespace.

Test coverage

I've added a transcript that demonstrates the fix.