shithub: pprolog

Download patch

ref: fd10cf6997473226272b397b0ff6ebd87bd4d161
parent: 463f3b41ac6a17f6fe88f6c114aa849876bfcf4e
author: Peter Mikkelsen <peter@pmikkelsen.com>
date: Thu Jul 22 13:36:33 EDT 2021

Fix singleton warnings in repl.pl

--- a/repl.pl
+++ b/repl.pl
@@ -1,6 +1,6 @@
 :- module(repl, []).
 
-repl([ProgName|Args]) :-
+repl([_ProgName|Args]) :-
 	write('Welcome to p-prolog version 1.'),
 	nl,
 	write('Started with args: '),
@@ -55,7 +55,7 @@
 	   )
 	; write_result(Vars, end)
 	).
-eval_and_print(Goal, _, _) :-
+eval_and_print(_, _, _) :-
 	\+ found_a_solution,
 	write('false .'),
 	nl.