diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 22:36:36 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 22:36:36 +0000 |
| commit | 43f65cbe02b3a2512c3a797862196d693b3a9f11 (patch) | |
| tree | afee294a75825f5cb48dfd71add2117526c13923 | |
| parent | 2bf351a2f4a0e364d137f50fc67e3eadbdf22e7e (diff) | |
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
| -rw-r--r-- | repl.pl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 :- |