unison/unison-src/transcripts/namespace-deletion-regression.output.md

32 lines
571 B
Markdown
Raw Permalink Normal View History

2021-11-09 02:05:27 +03:00
# Namespace deletion regression test
See https://github.com/unisonweb/unison/issues/1552
2021-11-09 04:38:49 +03:00
If branch operations aren't performed in the correct order it's possible to end up with unexpected results.
Previously the following sequence delete the current namespace
unexpectedly 😬.
2021-11-09 02:05:27 +03:00
``` ucm
scratch/main> alias.term ##Nat.+ Nat.+
2021-11-09 02:05:27 +03:00
Done.
scratch/main> ls Nat
2021-11-09 02:05:27 +03:00
1. + (##Nat -> ##Nat -> ##Nat)
2021-11-09 02:05:27 +03:00
scratch/main> move.namespace Nat Nat.operators
2021-11-09 02:05:27 +03:00
Done.
2021-11-09 02:05:27 +03:00
scratch/main> ls Nat
1. operators/ (1 term)
scratch/main> ls Nat.operators
2021-11-09 02:05:27 +03:00
1. + (##Nat -> ##Nat -> ##Nat)
```