From 43f65cbe02b3a2512c3a797862196d693b3a9f11 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 22 Jul 2021 22:36:36 +0000 Subject: Garbage collect as the first thing in the repl loop. This makes sure that the system doesn't appear slow after a potentially very simple first query --- repl.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repl.pl b/repl.pl index 8f68551..d963bf4 100644 --- a/repl.pl +++ b/repl.pl @@ -21,8 +21,8 @@ handle_arg_error(E) :- print_exception(E). repl_loop :- - catch(read_eval_print, E, print_exception(E)), '$collect_garbage', + catch(read_eval_print, E, print_exception(E)), repl_loop. read_eval_print :- -- cgit v1.2.3