From: Stephan Renatus Date: Sun, 3 Nov 2024 12:31:47 +0000 (+0100) Subject: toplevel: add more Stop=continue, remove nesting X-Git-Tag: v0.10.0~106^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e78914219e111b2916d7358ef41044357302a250;p=scryer-prolog.git toplevel: add more Stop=continue, remove nesting Signed-off-by: Stephan Renatus --- diff --git a/src/toplevel.pl b/src/toplevel.pl index 9d0b497f..9ec36fb1 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -352,32 +352,33 @@ read_input(LeafAnswer, Stop) :- ( member(C, ['\n', .]) -> nl, write('; ... .'), nl, Stop = stop - ; ( C = w -> - nl, - write(' '), - write_leaf_answer(LeafAnswer, [depth(deep)]), - read_input(LeafAnswer, Stop) - ; C = p -> - nl, - write(' '), - write_leaf_answer(LeafAnswer, [depth(shallow)]), - read_input(LeafAnswer, Stop) - ; member(C, [';', ' ', n]) -> - Stop = continue, - nl, write('; ') - ; C = h -> - help_message, - read_input(LeafAnswer, Stop) - ; C = a -> - bb_put('$report_all', true), - nl, write('; ') - ; C = f -> - bb_get('$answer_count', Count), - More is 5 - Count mod 5, - bb_put('$report_n_more', More), - nl, write('; ') - ; read_input(LeafAnswer, Stop) - ) + ; C = w -> + nl, + write(' '), + write_leaf_answer(LeafAnswer, [depth(deep)]), + read_input(LeafAnswer, Stop) + ; C = p -> + nl, + write(' '), + write_leaf_answer(LeafAnswer, [depth(shallow)]), + read_input(LeafAnswer, Stop) + ; member(C, [';', ' ', n]) -> + nl, write('; '), + Stop = continue + ; C = h -> + help_message, + read_input(LeafAnswer, Stop) + ; C = a -> + bb_put('$report_all', true), + nl, write('; '), + Stop = continue + ; C = f -> + bb_get('$answer_count', Count), + More is 5 - Count mod 5, + bb_put('$report_n_more', More), + nl, write('; '), + Stop = continue + ; read_input(LeafAnswer, Stop) ). needs_bracketing(Value, Op) :-