Automatic analysis for monomorphisation

1 files changed, 5 insertions, 2 deletions

diff --git a/src/process_file.ml b/src/process_file.ml
index 5d362af2..ab18f3ad 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -119,9 +119,12 @@ let check_ast (defs : unit Ast.defs) : Type_check.tannot Ast.defs * Type_check.E
   (ast, env)
 
 let opt_ddump_raw_mono_ast = ref false
+let opt_dmono_analysis = ref 0
+let opt_auto_mono = ref false
 
-let monomorphise_ast locs ast =
-  let ast = Monomorphise.monomorphise (!opt_lem_mwords) locs ast in
+let monomorphise_ast locs type_env ast =
+  let ast = Monomorphise.monomorphise (!opt_lem_mwords) (!opt_auto_mono) (!opt_dmono_analysis)
+    locs type_env ast in
   let () = if !opt_ddump_raw_mono_ast then Pretty_print.pp_defs stdout ast else () in
   let ienv = Type_check.Env.no_casts Type_check.initial_env in
   Type_check.check ienv ast