1 let output_dir_default = ""
3 let debug_lexer_default = false
5 let debug_pass_default = false
7 let pass_default = false
9 let output_dir = ref output_dir_default
11 let debug_lexer = ref debug_lexer_default
13 let d0 = ref debug_pass_default
15 let d1 = ref debug_pass_default
17 let d2 = ref debug_pass_default
19 let e1 = ref debug_pass_default
21 let e2 = ref debug_pass_default
23 let p0 = ref pass_default
25 let p1 = ref pass_default
27 let p2 = ref pass_default
30 output_dir := output_dir_default;
31 debug_lexer := debug_lexer_default;
32 d0 := debug_pass_default; d1 := debug_pass_default; d2 := debug_pass_default;
33 e1 := debug_pass_default; e2 := debug_pass_default;
34 p0 := pass_default; p1 := pass_default; p2 := pass_default