jon.recoil.org

Source file clflags.ml

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
53
54
55
56
57
58
type profile_column = [ `Time | `Alloc | `Top_heap | `Abs_top_heap | `Counters ]
type shape_format = Old_merlin | Debugging_shapes
type visible_include =
  { path : string;
    cmx_guaranteed : bool;
  }

(** {0 OCaml compiler compatible command-line parameters} *)
let cmi_file = ref None
let include_dirs        = ref []
let hidden_include_dirs = ref []
let include_paths_files = ref ([] : string list) (* -I-paths *)
let hidden_include_paths_files = ref ([] : string list) (* -H-paths *)
let fast                = ref false
let classic             = ref false
let all_ppx             = ref []
let principal           = ref false
let real_paths          = ref true
let recursive_types     = ref false
let strict_sequence     = ref false
let applicative_functors = ref true

let nopervasives        = ref false
let strict_formats      = ref true
let open_modules        = ref []
let parameters          = ref ([] : string list)
let as_parameter        = ref false
let as_argument_for     = ref None
let zero_alloc_check    = ref Zero_alloc_annotations.Check.Check_default
let zero_alloc_assert   = ref Zero_alloc_annotations.Assert.Assert_default
let infer_with_bounds   = ref false
let kind_verbosity = ref 0
let ikinds = ref false

let annotations         = ref false
let binary_annotations  = ref true
let binary_annotations_cms  = ref false
let shape_format        = ref Old_merlin
let store_occurrences   = ref true
let print_types         = ref false
let native_code         = ref false
let error_size          = ref 500
let dont_write_files    = ref true
let keep_locs           = ref true
let keep_docs           = ref false
let transparent_modules = ref true
let for_package         = ref None
let debug               = ref false
let opaque              = ref false
let unboxed_types       = ref false
let profile_columns     = ref []
let dwarf_pedantic      = ref false
let gdwarf_config_shape_eval_depth = ref None
let gdwarf_config_max_type_to_shape_depth = ref None
let gdwarf_config_max_evaluation_steps_per_variable = ref None
let locs = ref true
let locations = ref true
let ikinds_debug = ref false