diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 18:52:14 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 18:52:14 +0000 |
commit | 2bda2a9d61ff3c713beff623aceea143d0f814c6 (patch) | |
tree | 135093e6b3eb1a872718836f3c84fd6ef9a02028 /loader.pl | |
parent | d7a4ae651e8334955ad39c4adf02e36b6c99ec2f (diff) |
Understand set_prolog_flag directive
Diffstat (limited to 'loader.pl')
-rw-r--r-- | loader.pl | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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). |