From d363dabcdff7c5860879b306c07e113b8052b63a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 1 Feb 2016 18:21:12 +0100
Subject: [PATCH] Automatic open of Popop module in utop
---
tests/myutop_main.ml | 20 +++++++++++++++++++-
1 file changed, 19 insertions(+), 1 deletion(-)
diff --git a/tests/myutop_main.ml b/tests/myutop_main.ml
index 2c8f070bd..76bdbf9e9 100644
--- a/tests/myutop_main.ml
+++ b/tests/myutop_main.ml
@@ -35,7 +35,25 @@ let () =
Ldot(Ldot(Lident "Solver","Events"),"Fired");
Lident "Interval";
Lident "Uninterp";
- ]
+ ];
+
+ let first = ref true in
+ let exec_init s =
+ match UTop.parse_toplevel_phrase_default s true with
+ | UTop.Value r ->
+ ignore(Toploop.execute_phrase true Format.err_formatter r)
+ | _ -> assert false
+ in
+ let init = ["open Popop;;";
+ "open Types;;";
+ "let b1 = Cl.fresh \"b1\" Bool.ty;;"] in
+ UTop.at_new_command (fun () ->
+ if !first then begin
+ first := false;
+ List.iter exec_init init;
+ end
+ )
+
(* Start utop. It never returns. *)
let () = UTop_main.main ()
--
GitLab