From a15396525e442acc76cca061e0cbe1bc98af83d0 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Thu, 23 Apr 2015 09:01:00 +0600
Subject: Quick and dirty path pretty printer.

---
 src/util.ml  | 11 +++++++++++
 src/util.mli |  2 ++
 2 files changed, 13 insertions(+)

(limited to 'src')

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
-- 
cgit v1.2.3