From: Mark Thom Date: Thu, 11 Feb 2021 22:37:43 +0000 (-0700) Subject: roll back extent of heap when loads are complete in loader.pl X-Git-Tag: v0.9.0~150^2~58 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=14efbb13566111fea7ac500dfbafb7e760c10168;p=scryer-prolog.git roll back extent of heap when loads are complete in loader.pl --- 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)]),