console/boot
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fixed pane_*box

Browse Source
This commit is contained in:
cqc
2021-08-10 01:50:57 -05:00
parent 7129943522
commit 58975feee5
3 changed files with 46 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
init.ml
View File

@ -1,6 +1,6 @@
(* $Id$ -*- tuareg -*- *)
#directory "/home/cqc/p/pinephone/komm/komm/_build/default/.topinf.objs/byte";;
#directory "/home/cqc/p/console/boot/_build/default/.topinf.objs/byte";;
open Topinf;;
let print_directives () =
Format.eprintf "directive_info_table:@.";
@ -12,3 +12,4 @@ 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 ();;