responsible to call MatitacLib.go or MatitacLib.main.
Cons: .ocamlinit is more dirty
Pros: it is possible to trace something even before doing a drop!
(* utility functions *)
let go = MatitacLib.go;;
+
+(* let's go! *)
+let _ =
+ if Array.length Sys.argv > 1 then
+ MatitacLib.main `TOPLEVEL
+ else
+ MatitacLib.go ()
+;;
let _ =
let _ = Topdirs.dir_quit in
- let _ =
- if Array.length Sys.argv > 1 then
- MatitacLib.main `TOPLEVEL
- else
- MatitacLib.go ()
- in
- Toploop.loop Format.std_formatter
+ Toploop.loop Format.std_formatter