|
| From: | Gregory Heytings |
| Subject: | branch scratch/fix-locked-narrowing created (now 2956e54b1d) |
| Date: | Wed, 8 Feb 2023 20:49:28 -0500 (EST) |
ghe pushed a change to branch scratch/fix-locked-narrowing.
at 2956e54b1d Add an extensive test for labeled (locked) narrowing
This branch includes the following new commits:
new a4aa32bdff Fix 'save-restriction' for narrowing locks
new 97314447e6 Make 'narrowing-lock' and 'narrowing-unlock' internal
new d8438e2bb4 Add 'without-narrowing' macro
new 0d73e4aa26 Add specific symbols for narrowings
new a6cd4553d4 Rename two long line optimizations variables
new 79ce185ad1 Update the documentation about labeled (locked) narrowing
new 2956e54b1d Add an extensive test for labeled (locked) narrowing
| [Prev in Thread] | Current Thread | [Next in Thread] |