widgets are drawn via a ref'd data structure so we can maybe manipulate it

.ocamlformat

@@ -1 +1 @@
- 
+profile = compact

.ocamlformat-ignore

@@ -0,0 +1 @@
+init.ml

README

@@ -2,9 +2,4 @@
 
 - `console/rootstore` must exist at `../rootstore`
 
-$ dune exec ./main.exe
-
-Type in:
-`#use "init.ml"`
-Ctrl-Enter runs the command
-
+$ dune exec ./boot.exe

boot.ml

@@ -1,6 +1,2 @@
-
-
-
-
 let eval = (Topinf.init Format.std_formatter) Format.std_formatter in
-eval "#use \"init.ml\";;";
+eval "#use \"init.ml\";;"

dune

@@ -13,24 +13,33 @@
   tgls.tgles2
   wall
   zed
+  lambda-term
   irmin-unix
   ocaml-compiler-libs.common
   ocaml-compiler-libs.bytecomp
   ocaml-compiler-libs.toplevel))
 
 (executable
- (name test)
+ (name boot)
  (modes byte)
- (modules test)
+ (modules boot)
  (link_flags (-linkall))
  (libraries
+  lambda-term
   topinf))
 
-
 (library
  (name topinf)
  (modes byte)
  (modules topinf)
  (libraries
-   fmt
+  fmt
+  tsdl
+  tgls.tgles2
+  wall
+  zed
+  lambda-term
+  irmin-unix
+  ocaml-compiler-libs.common
+  ocaml-compiler-libs.bytecomp
   ocaml-compiler-libs.toplevel))

init.ml

@@ -1,14 +1,16 @@
 (* $Id$ -*- tuareg -*- *)
 
-#directory "/home/cqc/p/pinephone/komm/komm/_build/default/.topinf.objs/byte";;
+#use_output "dune top | grep -v \"ocamltoplevel.cma\\|ocaml_toplevel.cma\\|topinf.cma\"";; (* grep to remove the topinf.cma which fuck this shit all up *)
 open Topinf;;
 let print_directives () = 
-  Format.eprintf "directive_info_table:@.";
-  Hashtbl.iter (fun n _ -> Format.eprintf "\t%s@." n) Topinf.directive_info_table;;
+  Format.printf "directive_info_table:@.";
+  Hashtbl.iter (fun n _ -> Format.printf "\t%s@." n) Topinf.directive_info_table;;
 
 #directory "+compiler-libs";;
 
 let print_modules () =
-  Format.eprintf "Env.fold_modules:\n";
-  Env.fold_modules (fun modname _ _ () -> Format.eprintf "\t%s@." modname) None !Topinf.toplevel_env ();;
-print_modules ();;
+  Format.printf "Env.fold_modules !Topinf.toplevel_env :\n";
+  Env.fold_modules (fun modname _ _ () -> Format.printf "\t%s@." modname) None !Topinf.toplevel_env ();;
+
+#use_silently "main.ml";;
+

topinf.mli

@@ -3,7 +3,7 @@
      (See module Translmod.) *)
 val getvalue : string -> Obj.t
 val setvalue : string -> Obj.t -> unit
-(* End accessors for table of toplevel value bindings that must be first in the module signature *)
+(* End of: accessors for table of toplevel value bindings that must be first in the module signature *)
 
 val print_toplevel_value_bindings : Format.formatter -> unit
 
@@ -22,4 +22,10 @@ type directive_fun =
 
 type directive_info = { section : string; doc : string }
 
+val add_directive : Misc.filepath -> directive_fun -> directive_info -> unit
+
 val directive_info_table : (string, directive_info) Hashtbl.t
+
+val ppf : Format.formatter ref
+
+val eval : evalenv option ref