From 14efbb13566111fea7ac500dfbafb7e760c10168 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 11 Feb 2021 15:37:43 -0700
Subject: [PATCH] roll back extent of heap when loads are complete in loader.pl

---
 src/loader.pl | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/loader.pl b/src/loader.pl
index 01fc23f4..0abd573c 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -85,7 +85,9 @@ run_initialization_goals :-
     ).
 
 file_load(Stream, Path) :-
-    file_load(Stream, Path, _).
+    file_load(Stream, Path, _),
+    false.        %% Clear the heap.
+file_load(_, _).
 
 file_load(Stream, Path, Evacuable) :-
     create_file_load_context(Stream, Path, Evacuable),
@@ -104,7 +106,9 @@ load(Stream) :-
           builtins:(loader:unload_evacuable(Evacuable),
 		            builtins:throw(E))),
     run_initialization_goals,
-    '$pop_load_context'.
+    '$pop_load_context',
+    false.        %% Clear the heap.
+load(_).
 
 load_loop(Stream, Evacuable) :-
     read_term(Stream, Term, [variable_names(VNs), singletons(Singletons)]),
-- 
2.54.0