From: Stephan Renatus <stephan@styra.com>
Date: Fri, 1 Nov 2024 14:42:48 +0000 (+0100)
Subject: toplevel.pl: fix arity mismatch in read_input/2
X-Git-Tag: v0.10.0~106^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=556b7c733fc43e861c396010e8554a296dea8de3;p=scryer-prolog.git

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>
---

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