unison/unison-src/transcripts/fix1532.md

scratch/main> builtins.merge

First, lets create two namespaces. foo and bar, and add some definitions.

foo.x = 42
foo.y = 100
bar.z = x + y

scratch/main> add

Let's see what we have created...

scratch/main> ls

Now, if we try deleting the namespace foo, we get an error, as expected.

scratch/main> delete.namespace foo

Any numbered arguments should refer to bar.z.

scratch/main> debug.numberedArgs

We can then delete the dependent term, and then delete foo.

scratch/main> delete.term 1
scratch/main> delete.namespace foo