diff options
| author | Daniil Baturin <daniil@baturin.org> | 2018-02-16 12:54:25 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2018-02-16 12:57:16 +0700 |
| commit | 56130bfe30781c210c7459e5df9afa7d894aeec7 (patch) | |
| tree | 38d599cf29172085d9b76b595162c49a1dba0104 /src/reference_tree.ml | |
| parent | a245e894c6f5473f3051366389d3f90a778dacbd (diff) | |
| download | vyconf-56130bfe30781c210c7459e5df9afa7d894aeec7.tar.gz vyconf-56130bfe30781c210c7459e5df9afa7d894aeec7.zip | |
Add logging of interface definition file loading.
Move the high level load_interface_definitions function from Reference_tree
to Startup.
Diffstat (limited to 'src/reference_tree.ml')
| -rw-r--r-- | src/reference_tree.ml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 8c8e515..45789eb 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -122,17 +122,6 @@ let load_from_xml reftree file = | Xml.File_not_found msg -> raise (Bad_interface_definition msg) | Xml.Error e -> raise (Bad_interface_definition (Xml.error e)) -let load_interface_definitions dir = - let relative_paths = FileUtil.ls dir in - let absolute_paths = - try Ok (List.map Util.absolute_path relative_paths) - with Sys_error no_dir_msg -> Error no_dir_msg - in - try match absolute_paths with - | Ok paths -> Ok (List.fold_left load_from_xml default paths) - | Error msg -> Error msg - with Bad_interface_definition msg -> Error msg - (* Validation function *) let has_illegal_characters name = |