From 2bf351a2f4a0e364d137f50fc67e3eadbdf22e7e Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 22 Jul 2021 22:29:04 +0000 Subject: Silence warning about singleton variables in system.pl and loader.pl --- loader.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'loader.pl') diff --git a/loader.pl b/loader.pl index d688e46..a0af62c 100644 --- a/loader.pl +++ b/loader.pl @@ -94,7 +94,7 @@ handle_term(:- Directive, _, Module, NewModule) :- handle_term(Head :- Body, Singles, Module, Module) :- !, handle_clause(Head, Body, Singles, Module). -handle_term(Head --> Body, Singles, Module, Module) :- +handle_term(Head --> Body, _, Module, Module) :- !, write('DCG RULE: '), write(Head --> Body), @@ -132,7 +132,7 @@ handle_directive(ensure_loaded(F), Module, Module) :- ensure_load(F). handle_directive(set_prolog_flag(Flag, Value), Module, Module) :- Module:set_prolog_flag(Flag, Value). -handle_directive(module(NewModule, Exports), Module, NewModule) :- +handle_directive(module(NewModule, _Exports), _, NewModule) :- is_atom(NewModule), '$new_empty_module'(NewModule). % Do something about the exports as well. @@ -141,7 +141,7 @@ handle_directive(D, Module, Module) :- write(D), nl. -warn_singletons(_, Module, []). +warn_singletons(_, _, []). warn_singletons(PI, Module, Singles) :- write('Warning: singleton variables '), write(Singles), -- cgit v1.2.3