1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(* ========================================================================= *)
(* Some miscellaneous OCaml system hacking before we get started. *)
(* *)
(* (c) Copyright, John Harrison 1998-2014 *)
(* ========================================================================= *)
Gc.set { (Gc.get()) with Gc.stack_limit = 16777216 };;
(* ------------------------------------------------------------------------- *)
(* Make sure user interrupts generate an exception, not kill the process. *)
(* ------------------------------------------------------------------------- *)
Sys.catch_break true;;
(* ------------------------------------------------------------------------- *)
(* Set up a printer for num. *)
(* ------------------------------------------------------------------------- *)
let pp_print_num fmt n =
Format.pp_open_hbox fmt ();
Format.pp_print_string fmt (string_of_num n);
Format.pp_close_box fmt ();;
let print_num = pp_print_num Format.std_formatter;;
|
