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 <stephan@styra.com>
This commit is contained in:
Stephan Renatus
2024-11-01 15:42:48 +01:00
parent e8ef9bc33a
commit 556b7c733f

View File

@@ -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)
)
).