From acc1c544d31b37a41cfd1f633d002d52adfa754f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 2 Dec 2020 15:56:14 +0100
Subject: [PATCH] [kernel] new function to query whether a given package has
been loaded or not.
---
src/kernel_services/plugin_entry_points/dynamic.ml | 2 ++
src/kernel_services/plugin_entry_points/dynamic.mli | 3 +++
2 files changed, 5 insertions(+)
diff --git a/src/kernel_services/plugin_entry_points/dynamic.ml b/src/kernel_services/plugin_entry_points/dynamic.ml
index 8d52b20163f..e28fc9157b6 100644
--- a/src/kernel_services/plugin_entry_points/dynamic.ml
+++ b/src/kernel_services/plugin_entry_points/dynamic.ml
@@ -132,6 +132,8 @@ let once pkg =
if Hashtbl.mem packages pkg then false
else ( Hashtbl.add packages pkg () ; true )
+let is_loaded pkg = Hashtbl.mem packages pkg
+
exception ArchiveError of string
let load_archive pkg base file =
diff --git a/src/kernel_services/plugin_entry_points/dynamic.mli b/src/kernel_services/plugin_entry_points/dynamic.mli
index cf663dc88ff..66e47ac0b8d 100644
--- a/src/kernel_services/plugin_entry_points/dynamic.mli
+++ b/src/kernel_services/plugin_entry_points/dynamic.mli
@@ -159,6 +159,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.*)
+val is_loaded: string -> bool
+
(**/**)
val load_plugin_path: unit -> unit
(** Load all plugins in the path set with [set_module_load_path].
--
GitLab