From 6e549469cd53511e19fdaf00e26af9a52b3e473e Mon Sep 17 00:00:00 2001 From: Chris Penner Date: Wed, 26 Jun 2024 11:45:20 -0700 Subject: [PATCH] Port namespace-deletion-regression.md to projects --- .../namespace-deletion-regression.md | 2 +- .../namespace-deletion-regression.output.md | 29 +++++++++---------- 2 files changed, 15 insertions(+), 16 deletions(-) diff --git a/unison-src/transcripts/namespace-deletion-regression.md b/unison-src/transcripts/namespace-deletion-regression.md index f9d5fd741..a1bc14ca3 100644 --- a/unison-src/transcripts/namespace-deletion-regression.md +++ b/unison-src/transcripts/namespace-deletion-regression.md @@ -8,7 +8,7 @@ Previously the following sequence delete the current namespace unexpectedly 😬. ```ucm -scratch/main> alias.term ##Nat.+ .Nat.+ +scratch/main> alias.term ##Nat.+ Nat.+ scratch/main> ls Nat scratch/main> move.namespace Nat Nat.operators scratch/main> ls Nat diff --git a/unison-src/transcripts/namespace-deletion-regression.output.md b/unison-src/transcripts/namespace-deletion-regression.output.md index 624501a17..21e0866f7 100644 --- a/unison-src/transcripts/namespace-deletion-regression.output.md +++ b/unison-src/transcripts/namespace-deletion-regression.output.md @@ -8,25 +8,24 @@ Previously the following sequence delete the current namespace unexpectedly 😬. ```ucm -scratch/main> alias.term ##Nat.+ .Nat.+ +scratch/main> alias.term ##Nat.+ Nat.+ Done. scratch/main> ls Nat - nothing to show + 1. + (##Nat -> ##Nat -> ##Nat) + +scratch/main> move.namespace Nat Nat.operators + + Done. + +scratch/main> ls Nat + + 1. operators/ (1 term) + +scratch/main> ls Nat.operators + + 1. + (##Nat -> ##Nat -> ##Nat) ``` - -```ucm -scratch/main> alias.term ##Nat.+ .Nat.+scratch/main> ls Natscratch/main> move.namespace Nat Nat.operatorsscratch/main> ls Natscratch/main> ls Nat.operators -``` - - -🛑 - -The transcript failed due to an error in the stanza above. The error is: - - - nothing to show -