Source file `interval_top.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
open Printf

let eval_string
      ?(print_outcome = false) ?(err_formatter = Format.err_formatter) str =
  let lexbuf = Lexing.from_string str in
  let phrase = !Toploop.parse_toplevel_phrase lexbuf in
  Toploop.execute_phrase print_outcome err_formatter phrase

let load_interval() =
  let require pkg = eval_string (sprintf "#require %S;;" pkg) in
  require "interval_base"
  && require "interval_crlibm"
  && require "interval_intel"
  && eval_string "#install_printer Interval_base.I.pp;;"


let () =
  if not (load_interval()) then
    Format.eprintf "Problem loading Interval libraries@."