From ac415aa4f523db3d13406e6760ff36bb2f254a0d Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Wed, 19 Aug 2026 15:54:12 -0500 Subject: T9231: add coarse ordering when loading reference tree Order by file name before loading, useful for the rare case of visual inspection of the data structure. Strict orderings of derived data is left to Python wrappers. --- src/generate.ml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/generate.ml b/src/generate.ml index d4d3f0e..3a0347d 100644 --- a/src/generate.ml +++ b/src/generate.ml @@ -14,8 +14,15 @@ let load_interface_definitions dir = let relative_paths = List.filter (fun x -> Filename.extension x = ".xml") dir_paths in + let compar x y = + (* reverse order so as not to List.rev for fold_left below *) + String.compare (FilePath.basename y) (FilePath.basename x) + in + let sort_paths = + List.sort compar relative_paths + in let absolute_paths = - try Ok (List.map Util.absolute_path relative_paths) + try Ok (List.map Util.absolute_path sort_paths) with Sys_error no_dir_msg -> Error no_dir_msg in let load_aux tree file = -- cgit v1.2.3