diff --git a/bin/main.ml b/bin/main.ml index 979afe8..903bb44 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -340,30 +340,6 @@ let draw_sob sob s = ()) items; (s, Image.empty) - -let draw_repl height (s:Display.state) = - () - -(* let draw_tree height (s:Display.state) = - * let indent = ref 0 in - * let rec draw_levels (tree:(string) list) pp = - * indent := !indent + 1; - * List.iter (fun (step, node) -> - * Format.pp_open_vbox pp 0; - * Format.pp_open_hbox pp (); - * for _ = 0 to !indent do Format.pp_print_space pp () done; - * Format.fprintf pp "%d-%s@." !indent step; - * Format.pp_close_box pp (); - * let subtree = () in - * draw_levels subtree pp; - * Format.pp_close_box pp () - * ) tree; - * indent := !indent - 1 - * in - * let root = Lwt_main.run - * Printf.printf "Lumplist length: %d\n" (List.length root); - * draw_pp height (draw_levels root) s *) - let draw_lumptree height (s:Display.state) = let from = [] in (* future optional arg *) let pile = Lump.branch "./kommpile" "current" in (* future args *)