From 556b7c733fc43e861c396010e8554a296dea8de3 Mon Sep 17 00:00:00 2001 From: Stephan Renatus Date: Fri, 1 Nov 2024 15:42:48 +0100 Subject: [PATCH] toplevel.pl: fix arity mismatch in read_input/2 I ran into the same problem today and I figured I'd take a stab at it. Unfortunately, I'm not certain it is the right approach, but it no longer errors like it did before. Fixes #2650. Signed-off-by: Stephan Renatus --- src/toplevel.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index e6079106..a9617252 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -357,17 +357,17 @@ read_input(LeafAnswer, Stop) :- nl, write(' '), write_leaf_answer(LeafAnswer, [depth(deep)]), - read_input(LeafAnswer) + read_input(LeafAnswer, Stop) ; C = p -> nl, write(' '), write_leaf_answer(LeafAnswer, [depth(shallow)]), - read_input(LeafAnswer) + read_input(LeafAnswer, Stop) ; member(C, [';', ' ', n]) -> nl, write('; ') ; C = h -> help_message, - read_input(LeafAnswer) + read_input(LeafAnswer, Stop) ; C = a -> bb_put('$report_all', true), nl, write('; ') @@ -376,7 +376,7 @@ read_input(LeafAnswer, Stop) :- More is 5 - Count mod 5, bb_put('$report_n_more', More), nl, write('; ') - ; read_input(LeafAnswer) + ; read_input(LeafAnswer, Stop) ) ). -- 2.54.0