diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-23 09:01:00 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-23 09:01:00 +0600 |
| commit | a15396525e442acc76cca061e0cbe1bc98af83d0 (patch) | |
| tree | 9883e353c2b2d02d5f8c1251dc4652f4c04f61e3 /src | |
| parent | 187d282353d74d185d4b1bbe4ce69bc1b2948aa9 (diff) | |
| download | vyconf-a15396525e442acc76cca061e0cbe1bc98af83d0.tar.gz vyconf-a15396525e442acc76cca061e0cbe1bc98af83d0.zip | |
Quick and dirty path pretty printer.
Diffstat (limited to 'src')
| -rw-r--r-- | src/util.ml | 11 | ||||
| -rw-r--r-- | src/util.mli | 2 |
2 files changed, 13 insertions, 0 deletions
diff --git a/src/util.ml b/src/util.ml index 33c90a2..141d25b 100644 --- a/src/util.ml +++ b/src/util.ml @@ -9,3 +9,14 @@ let find_xml_child name xml = match xml with | Xml.Element (_, _, children) -> List.find find_aux children | Xml.PCData _ -> raise Not_found + +(* Dirty pretty printer *) +let string_of_path path = + let rec aux xs acc = + match xs with + | [] -> acc + | x :: xs' -> aux xs' (Printf.sprintf "%s %s" acc x) + in + match path with + | [] -> "[]" + | x :: xs -> Printf.sprintf "[%s%s]" x (aux xs "") diff --git a/src/util.mli b/src/util.mli index e4ced4f..f3699d3 100644 --- a/src/util.mli +++ b/src/util.mli @@ -1 +1,3 @@ val find_xml_child : string -> Xml.xml -> Xml.xml + +val string_of_path : string list -> string |