3822

Provide an option to disable memory reclamation. This makes edit/ *much*
more responsive. The cost: memory use grows monotonically. Since we no
longer have a safe way to reclaim heap allocations, we never do so.

1 files changed, 1 insertions, 0 deletions

diff --git a/043space.cc b/043space.cc
index 1562c11f..770871c1 100644
--- a/043space.cc
+++ b/043space.cc
@@ -230,6 +230,7 @@ try_reclaim_locals();
 
 :(code)
 void try_reclaim_locals() {
+  if (!Reclaim_memory) return;
   // only reclaim routines starting with 'local-scope'
   const recipe_ordinal r = get(Recipe_ordinal, current_recipe_name());
   const recipe& exiting_recipe = get(Recipe, r);