fix(compiler): Preserve all configs when compiling (#1207)

chore(compiler)!: Add interface for compile module to hide resume

Co-authored-by: Oscar Spencer <oscar@grain-lang.org>

Author: phated

compiler/src/compile.re

@@ -303,7 +303,9 @@ let compile_string =
     cstate_filename: name,
     cstate_outfile: outfile,
   };
-  compile_resume(~is_root_file, ~hook?, cstate);
+  Grain_utils.Config.preserve_all_configs(() =>
+    compile_resume(~is_root_file, ~hook?, cstate)
+  );
 };
 
 let compile_file =
@@ -317,7 +319,9 @@ let compile_file =
     cstate_filename: Some(filename),
     cstate_outfile: outfile,
   };
-  compile_resume(~is_root_file, ~hook?, cstate);
+  Grain_utils.Config.preserve_all_configs(() =>
+    compile_resume(~is_root_file, ~hook?, cstate)
+  );
 };
 
 let anf = Linearize.transl_anf_module;

compiler/src/compile.rei

@@ -0,0 +1,88 @@
+open Grain_parsing;
+open Grain_typed;
+open Grain_middle_end;
+open Grain_codegen;
+open Grain_linking;
+
+type input_source =
+  | InputString(string)
+  | InputFile(string);
+
+type compilation_state_desc =
+  | Initial(input_source)
+  | Parsed(Parsetree.parsed_program)
+  | WellFormed(Parsetree.parsed_program)
+  | TypeChecked(Typedtree.typed_program)
+  | TypedWellFormed(Typedtree.typed_program)
+  | Linearized(Anftree.anf_program)
+  | Optimized(Anftree.anf_program)
+  | Mashed(Mashtree.mash_program)
+  | Compiled(Compmod.compiled_program)
+  | ObjectFileEmitted(Compmod.compiled_program)
+  | Linked(Compmod.compiled_program)
+  | Assembled;
+
+type compilation_state = {
+  cstate_desc: compilation_state_desc,
+  cstate_filename: option(string),
+  cstate_outfile: option(string),
+};
+
+type compilation_action =
+  | Continue(compilation_state)
+  | Stop;
+
+type error =
+  | Cannot_parse_inline_flags(string)
+  | Cannot_use_help_or_version;
+
+exception InlineFlagsError(Location.t, error);
+
+let default_output_filename: string => string;
+
+let default_mashtree_filename: string => string;
+
+let stop_after_parse: compilation_state => compilation_action;
+
+let stop_after_well_formed: compilation_state => compilation_action;
+
+let stop_after_typed: compilation_state => compilation_action;
+
+let stop_after_typed_well_formed: compilation_state => compilation_action;
+
+let stop_after_anf: compilation_state => compilation_action;
+
+let stop_after_optimization: compilation_state => compilation_action;
+
+let stop_after_mashed: compilation_state => compilation_action;
+
+let stop_after_compiled: compilation_state => compilation_action;
+
+let stop_after_object_file_emitted: compilation_state => compilation_action;
+
+let stop_after_linked: compilation_state => compilation_action;
+
+let stop_after_assembled: compilation_state => compilation_action;
+
+let compile_string:
+  (
+    ~is_root_file: bool=?,
+    ~hook: compilation_state => compilation_action=?,
+    ~name: string=?,
+    ~outfile: string=?,
+    ~reset: bool=?,
+    string
+  ) =>
+  compilation_state;
+
+let compile_file:
+  (
+    ~is_root_file: bool=?,
+    ~hook: compilation_state => compilation_action=?,
+    ~outfile: string=?,
+    ~reset: bool=?,
+    string
+  ) =>
+  compilation_state;
+
+let save_mashed: (string, string) => unit;