Rename Extensions.all into Extensions.list

Gbury · Jun 26, 2024 · 4e034e6 · 4e034e6
1 parent 064739a
commit 4e034e6
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git 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 =
       "@[<v>Could not find extension '%s'@ \
       Available extensions:@;<1 2>@[<v>%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
@@ -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
@@ -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 ->