diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 22:29:04 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 22:29:04 +0000 |
| commit | 2bf351a2f4a0e364d137f50fc67e3eadbdf22e7e (patch) | |
| tree | 6105c166d01e0c9ca2a0b8e5ae1c12fcac70c098 /loader.pl | |
| parent | 9cc17961834515fd9e09683738a0137964076dd7 (diff) | |
Silence warning about singleton variables in system.pl and loader.pl
Diffstat (limited to 'loader.pl')
| -rw-r--r-- | loader.pl | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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), |