Optionally give *all* monomorphisation errors at once

(and stop afterwards unless asked)

1 files changed, 2 insertions, 0 deletions

diff --git a/src/process_file.ml b/src/process_file.ml
index 8f75c7a3..b0034493 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -188,6 +188,7 @@ let opt_dmono_analysis = ref 0
 let opt_auto_mono = ref false
 let opt_mono_rewrites = ref false
 let opt_dall_split_errors = ref false
+let opt_dmono_continue = ref false
 
 let monomorphise_ast locs type_env ast =
   let open Monomorphise in
@@ -197,6 +198,7 @@ let monomorphise_ast locs type_env ast =
     rewrites = !opt_mono_rewrites;
     rewrite_size_parameters = !Pretty_print_lem.opt_mwords;
     all_split_errors = !opt_dall_split_errors;
+    continue_anyway = !opt_dmono_continue;
     dump_raw = !opt_ddump_raw_mono_ast
   } in
   monomorphise opts locs type_env ast