summaryrefslogtreecommitdiff
path: root/loader.pl
diff options
context:
space:
mode:
Diffstat (limited to 'loader.pl')
-rw-r--r--loader.pl6
1 files changed, 3 insertions, 3 deletions
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),