summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-22 18:52:14 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-22 18:52:14 +0000
commit2bda2a9d61ff3c713beff623aceea143d0f814c6 (patch)
tree135093e6b3eb1a872718836f3c84fd6ef9a02028
parentd7a4ae651e8334955ad39c4adf02e36b6c99ec2f (diff)
Understand set_prolog_flag directive
-rw-r--r--loader.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/loader.pl b/loader.pl
index 071ac58..cf0fcf3 100644
--- a/loader.pl
+++ b/loader.pl
@@ -111,6 +111,8 @@ handle_directive(include(F), Module, NewModule) :-
close(S).
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) :-
is_atom(NewModule),
'$new_empty_module'(NewModule).