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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
(* common flags for the moc compiler *)
module M = Map.Make(String)
module S = Set.Make(String)
type compile_mode = WasmMode | ICMode | RefMode | WASIMode
type gc_strategy = Default | MarkCompact | Copying | Generational | Incremental
type instruction_limits = {
upgrade: Int64.t;
update_call: Int64.t;
}
type actors = LegacyActors | RequirePersistentActors | DefaultPersistentActors
type lint_level = Allow | Warn | Error
let ai_errors = ref false
let trace = ref false
let verbose = ref false
let print_warnings = ref true
let warnings_are_errors = ref false
let print_source_on_error = ref false
let print_depth = ref 2
let release_mode = ref false
let compile_mode = ref ICMode
let debug_info = ref false
let multi_value = ref false
let await_lowering = ref true
let async_lowering = ref true
let dump_parse = ref false
let dump_tc = ref false
let dump_lowering = ref false
let check_ir = ref true
let package_urls : string M.t ref = ref M.empty
let implicit_package : string option ref = ref None
let actor_aliases : string M.t ref = ref M.empty
let actor_idl_path : string option ref = ref None
let max_stable_pages_default = 65536
let max_stable_pages : int ref = ref max_stable_pages_default
let measure_rts_stack = ref false
let actors = ref RequirePersistentActors
let pre_ref : string option ref = ref None
let post_ref : string option ref = ref None
let profile = ref false
let profile_verbose = ref false
let profile_file = ref "profiling-counters.csv"
let profile_line_prefix = ref ""
let profile_field_names : string list ref = ref []
let public_metadata_names : string list ref = ref []
let omit_metadata_names : string list ref = ref []
let compiled = ref false
let error_detail = ref 2
let sanity = ref false
let gc_strategy = ref Default
let force_gc = ref false
let global_timer = ref true
let experimental_field_aliasing = ref false
let ocaml_js = ref false
let rts_stack_pages_default = 32 (* 2MB *)
let rts_stack_pages : int option ref = ref None
let rtti = ref false
let trap_on_call_error = ref false
let use_stable_regions = ref false
let enhanced_orthogonal_persistence = ref true
let explicit_enhanced_orthogonal_persistence = ref false
let share_code = ref false
let stabilization_instruction_limit_default = {
upgrade = 180_000_000_000L; (* 200 billion limit with 10% reserve *)
update_call = 18_000_000_000L; (* 20 billion limit with 10% reserve *)
}
let stabilization_instruction_limit = ref stabilization_instruction_limit_default
let stable_memory_access_limit_default =
let gigabyte = Int64.of_int (1024 * 1024 * 1024) in {
upgrade = Int64.mul 6L gigabyte; (* 8 GB limit with 2 GB reserves *)
update_call = Int64.mul 1L gigabyte; (* 2 GB limit with 1 GB reserve *)
}
let stable_memory_access_limit = ref stable_memory_access_limit_default
let experimental_stable_memory_default = 0 (* _ < 0: error; _ = 0: warn, _ > 0: allow *)
let experimental_stable_memory = ref experimental_stable_memory_default
let typechecker_combine_srcs = ref false (* useful for the language server *)
let blob_import_placeholders = ref false (* when enabled, blob:file imports resolve as empty blobs *)
let default_warning_levels = M.empty
|> M.add "M0223" Allow (* don't report redundant instantions *)
|> M.add "M0235" Allow (* don't deprecate for non-caffeine *)
|> M.add "M0236" Allow (* don't suggest contextual dot notation *)
|> M.add "M0237" Allow (* don't report redundant explicit arguments *)
let warning_levels = ref default_warning_levels
let set_warning_level code level =
warning_levels := M.add code level !warning_levels
let get_warning_level code =
match M.find_opt code !warning_levels with
| None -> Warn
| Some level -> level
let is_warning_disabled code = get_warning_level code = Allow
let is_warning_enabled code = not (is_warning_disabled code)