From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Wed, 18 Apr 2018 16:58:17 +0000 (-0400)
Subject: Fix demo of unbalanced behaviour - use graphviz
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=564eb9f351dfcdc6b53eaedb84e9f447f7ecde7f;p=tiger.ml.git

Fix demo of unbalanced behaviour - use graphviz
---

diff --git a/exercises/ch01/Makefile b/exercises/ch01/Makefile
index 0dc75b0..3c986c0 100644
--- a/exercises/ch01/Makefile
+++ b/exercises/ch01/Makefile
@@ -3,7 +3,7 @@ MAKEFLAGS := --no-builtin-rules
 OCAMLC_OPTIONS := -w A -warn-error A
 OCAMLC_BYTE    := ocamlc.opt   $(OCAMLC_OPTIONS)
 
-.PHONY: build clean
+.PHONY: build clean demo_unbalanced
 
 build : \
 	straight_line_program_interpreter \
@@ -20,3 +20,9 @@ build : \
 
 clean:
 	rm -f straight_line_program_interpreter
+
+tree.png: tree
+	./tree a b c d e f g h i j k l m n o p q r s t u v foo bar kgkvbkvg lkhjlk gfjyfjf fdtrdchfhtr trhfgfch hjlilijhl iygkyugkgkhy | neato -T png > tree.png
+
+demo_unbalanced: tree.png
+	sxiv ./tree.png
diff --git a/exercises/ch01/tree.ml b/exercises/ch01/tree.ml
index 94c2924..f150cae 100644
--- a/exercises/ch01/tree.ml
+++ b/exercises/ch01/tree.ml
@@ -12,11 +12,7 @@ module type TREE = sig
 
   val member : ('k, 'v) t -> k:'k -> bool
 
-  val print
-    : ('k, 'v) t
-    -> k_to_string:('k -> string)
-    -> indent_level:string
-    -> unit
+  val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string
 end
 
 module BinaryTree : TREE = struct
@@ -47,22 +43,27 @@ module BinaryTree : TREE = struct
     | Node (k', _, _, r) when k > k' -> member r ~k
     | Node _ -> true
 
-  let rec fold t ~f ~init:acc =
+  let to_edges t =
+    let rec to_edges_from k1 t =
+      match t with
+      | Leaf -> []
+      | Node (k2, _, l, r) ->
+          (k1, k2) :: ((to_edges_from k2 l) @ (to_edges_from k2 r))
+    in
     match t with
-    | Leaf -> acc
-    | Node (k, v, l, r) -> fold r ~f ~init:(f (fold l ~f ~init:acc) (k, v))
+    | Leaf -> []
+    | Node (k, _, l, r) -> (to_edges_from k l) @ (to_edges_from k r)
 
-  let print t ~k_to_string ~indent_level =
-    let (_, nodes) =
-      fold t
-        ~f:(fun (indentation, nodes) (k, _) ->
-            let indentation = indent_level ^ indentation in
-            let node = indentation ^ (k_to_string k) in
-            (indentation, node :: nodes)
-          )
-        ~init:(indent_level, [])
+  let to_dot t ~k_to_string =
+    let (edges, _) =
+      List.fold_left (to_edges t)
+        ~init:("", "\n")
+        ~f:(fun (edges, sep) (k1, k2) ->
+          let k1, k2 = k_to_string k1, k_to_string k2 in
+          (Printf.sprintf "%s%s%S -> %S;\n" edges sep k1 k2, "")
+      )
     in
-    List.iter (List.rev nodes) ~f:print_endline
+    "digraph G {" ^ edges ^ "}"
 end
 
 let () =
@@ -74,10 +75,8 @@ let () =
   assert (Some "v1" = BinaryTree.get tree_a ~k:"k1");
   assert (Some "v2" = BinaryTree.get tree_a ~k:"k2");
   let tree_b =
-    Array.fold_left
-      (Sys.argv)
+    Array.fold_left (Sys.argv)
       ~init:BinaryTree.empty
       ~f:(fun t k -> BinaryTree.set t ~k ~v:())
   in
-  Printf.printf "%B\n" (BinaryTree.member tree_b ~k:"a");
-  BinaryTree.print tree_b ~k_to_string:(fun x -> x) ~indent_level:"-";
+  print_endline (BinaryTree.to_dot tree_b ~k_to_string:(fun x -> x))
diff --git a/exercises/ch01/tree.png b/exercises/ch01/tree.png
new file mode 100644
index 0000000..3d63516
Binary files /dev/null and b/exercises/ch01/tree.png differ