From 4e034e648c672e9350e9e000653d0958c74b66f4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= Date: Wed, 26 Jun 2024 11:30:30 +0200 Subject: [PATCH] Rename Extensions.all into Extensions.list --- src/bin/extensions.ml | 4 ++-- src/bin/extensions.mli | 2 +- src/bin/main.ml | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/bin/extensions.ml b/src/bin/extensions.ml index ef1e6a17..f26272e4 100644 --- a/src/bin/extensions.ml +++ b/src/bin/extensions.ml @@ -119,7 +119,7 @@ let infos = let invalid () = snd @@ Lazy.force infos -let all () = +let list () = List.fast_sort (fun e1 e2 -> String.compare (name e1) (name e2)) (Hashtbl.fold (fun _ e exts -> e :: exts) (fst @@ Lazy.force infos) []) @@ -132,7 +132,7 @@ let find_ext name = "@[Could not find extension '%s'@ \ Available extensions:@;<1 2>@[%a@]@]" name - Fmt.(list (box pp)) (all ()) + Fmt.(list (box pp)) (list ()) let load_typing_extension ext = match ext.typing_plugin with diff --git a/src/bin/extensions.mli b/src/bin/extensions.mli index b34d03e5..c99a6548 100644 --- a/src/bin/extensions.mli +++ b/src/bin/extensions.mli @@ -21,7 +21,7 @@ val load_model_extension : Fails if [e] has no model extension, or an error occurs during loading of an external model extension. *) -val all : unit -> t list +val list : unit -> t list (** Lists the available extensions. *) val invalid : unit -> string list diff --git a/src/bin/main.ml b/src/bin/main.ml index 506f6ac2..631e7a80 100644 --- a/src/bin/main.ml +++ b/src/bin/main.ml @@ -123,7 +123,7 @@ let doc conf t = let list_extensions () = Format.printf "%a@." - Fmt.(vbox @@ list (box Extensions.pp)) (Extensions.all ()); + Fmt.(vbox @@ list (box Extensions.pp)) (Extensions.list ()); match Extensions.invalid () with | [] -> () | invalid ->