diff options
| author | John Estabrook <jestabro@vyos.io> | 2026-08-19 15:54:12 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2026-08-25 14:10:26 -0500 |
| commit | ac415aa4f523db3d13406e6760ff36bb2f254a0d (patch) | |
| tree | 195aa0ee95317010345f1259f5921374a0ca792b /src | |
| parent | 315e090194edb1883631ecf64d47d54bf8ec29fd (diff) | |
| download | vyos1x-config-ac415aa4f523db3d13406e6760ff36bb2f254a0d.tar.gz vyos1x-config-ac415aa4f523db3d13406e6760ff36bb2f254a0d.zip | |
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.
Diffstat (limited to 'src')
| -rw-r--r-- | src/generate.ml | 9 |
1 files changed, 8 insertions, 1 deletions
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 = |
