CompToCat/options.ml at master · jogiet/CompToCat · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
let typecheck_only = ref false

let typecheck_eta_only = ref false

let without_oks = ref false

let simplify = ref true

let compact = ref false

let print_infer = ref false

let print_simplification = ref false

let options = Arg.([
  "--typecheck", Unit (fun () -> typecheck_only := true),
  " Typecheck and stop.";

  "--typecheck-eta", Unit (fun () -> typecheck_eta_only := true),
  " Typecheck, eta-expand and stop.";

  "--no-ok", Unit (fun () -> without_oks := true),
  " Do not produce 'ok' witnesses.";

  "--no-simplify", Unit (fun () -> simplify := false),
  " Do not apply the simplifier.";

  "--print-infer", Unit (fun () -> print_infer := true),
  " Print the steps in the type inference phase.";

  "--print-simplification", Unit (fun () -> print_simplification := true),
  " Print the steps in the simplification phase.";

  "--compact", Unit (fun () -> compact := true),
  " Compactify the generated OCaml code."

] |> align)

let source_file =
  ref ""

let msg = "joujou [options] source_file"

let get_source_file () =
  if !source_file = "" then (Arg.usage options msg; exit 1);
  !source_file

let target_file () =
  Filename.chop_extension (get_source_file ()) ^ ".ml"

let analyse =
  Arg.(parse (align options) ((:=) source_file) msg)