From 490496f38188adcb374999f945c2a6a52319768d Mon Sep 17 00:00:00 2001 From: Paulo Moura Date: Fri, 24 Sep 2021 10:13:00 +0100 Subject: [PATCH] Add preliminary current_module/1 predicate definition requiring a bound argument --- src/loader.pl | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/src/loader.pl b/src/loader.pl index 0b725a40..8ab46bf0 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -8,7 +8,8 @@ prolog_load_context/2, strip_module/3, use_module/1, - use_module/2 + use_module/2, + current_module/1 ]). @@ -465,6 +466,14 @@ use_module(Module, Exports) :- ; use_module(Module, Exports, Evacuable) ). +current_module(Module) :- + ( var(Module) -> + instantiation_error(current_module/1) + ; \+ atom(Module) -> + type_error(atom, Module, current_module/1) + ; '$module_exists'(Module) + ). + %% If use_module is invoked in an existing load context, use its %% directory. Otherwise, use the relative path of Path. -- 2.54.0