From: Stephan Renatus Date: Sat, 2 Nov 2024 20:07:02 +0000 (+0100) Subject: toplevel.pl: attempt to fix continue/stop logic X-Git-Tag: v0.10.0~106^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=620077d8c1cf0a5d6945a3a1603072383b65525f;p=scryer-prolog.git toplevel.pl: attempt to fix continue/stop logic Signed-off-by: Stephan Renatus --- diff --git a/src/toplevel.pl b/src/toplevel.pl index a9617252..9d0b497f 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -352,8 +352,7 @@ read_input(LeafAnswer, Stop) :- ( member(C, ['\n', .]) -> nl, write('; ... .'), nl, Stop = stop - ; Stop = continue, - ( C = w -> + ; ( C = w -> nl, write(' '), write_leaf_answer(LeafAnswer, [depth(deep)]), @@ -364,6 +363,7 @@ read_input(LeafAnswer, Stop) :- write_leaf_answer(LeafAnswer, [depth(shallow)]), read_input(LeafAnswer, Stop) ; member(C, [';', ' ', n]) -> + Stop = continue, nl, write('; ') ; C = h -> help_message,