From f3a96b1dc6fdda8a5739a1a4c25830f1244bec33 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 2 Dec 2020 16:51:45 +0100
Subject: [PATCH] [kernel] export Dynamic.load_packages
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

`Dynamic.load_module` does not know about Findlib's subpackages 😕
---
 src/kernel_services/plugin_entry_points/dynamic.mli | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/kernel_services/plugin_entry_points/dynamic.mli b/src/kernel_services/plugin_entry_points/dynamic.mli
index 66e47ac0b8d..ee97d92aed0 100644
--- a/src/kernel_services/plugin_entry_points/dynamic.mli
+++ b/src/kernel_services/plugin_entry_points/dynamic.mli
@@ -149,9 +149,14 @@ end
 (** {2 Dynamically Loaded Modules} *)
 (* ************************************************************************* *)
 
-val load_module: string -> unit
+(** loads a list of Findlib packages
+    @since Frama-C+dev
+*)
+val load_packages: string list -> unit
+
 (** Load the module specification. See -load-module option.
     @modify Magnesium-20151001 new API. *)
+val load_module: string -> unit
 
 (** Sets the load path for modules in FRAMAC_PLUGIN, prepending it with [path].
     Does not load any plugins.
@@ -159,7 +164,9 @@ val load_module: string -> unit
     @since Phosphorus-20170501-beta1. *)
 val set_module_load_path : string list -> unit
 
-(** [is_loaded package] returns [true] iff [package] has already been loaded.*)
+(** [is_loaded package] returns [true] iff [package] has already been loaded.
+    @since Frama-C+dev
+*)
 val is_loaded: string -> bool
 
 (**/**)
-- 
GitLab