From: Markus Triska <triska@metalevel.at>
Date: Tue, 28 Apr 2020 15:51:37 +0000 (+0200)
Subject: use singleton variable, correct a mistake in maplist/8
X-Git-Tag: v0.8.123~100^2^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e61116d35affb92f69b7935c87e967988b1fc82a;p=scryer-prolog.git

use singleton variable, correct a mistake in maplist/8
---

diff --git a/src/prolog/lib/lists.pl b/src/prolog/lib/lists.pl
index 693ccc10..e3033495 100644
--- a/src/prolog/lib/lists.pl
+++ b/src/prolog/lib/lists.pl
@@ -63,7 +63,7 @@ reverse(Xs, Ys) :-
     ).
 
 reverse([], [], YsRev, YsRev).
-reverse([X1|Xs], [Y1|Ys], YsPreludeRev, Xss) :-
+reverse([_|Xs], [Y1|Ys], YsPreludeRev, Xss) :-
     reverse(Xs, Ys, [Y1|YsPreludeRev], Xss).
 
 
@@ -104,7 +104,7 @@ maplist(Cont, [E1|E1s], [E2|E2s], [E3|E3s], [E4|E4s], [E5|E5s], [E6|E6s], [E7|E7
 
 maplist(_, [], [], [], [], [], [], [], []).
 maplist(Cont, [E1|E1s], [E2|E2s], [E3|E3s], [E4|E4s], [E5|E5s], [E6|E6s], [E7|E7s], [E8|E8s]) :-
-    call(Cont, E1, E2, E3, E4, E5, E6, E7),
+    call(Cont, E1, E2, E3, E4, E5, E6, E7, E8),
     maplist(Cont, E1s, E2s, E3s, E4s, E5s, E6s, E7s, E8s).