Add -no-fail-on-assert CLI flag per #270

compiler/catala_utils/cli.ml

@@ -208,6 +208,14 @@ module Flags = struct
       & info ["x"; "stop-on-error"]
           ~doc:"Stops the compilation as soon as an error is encountered."
 
+    let no_fail_on_assert =
+      value
+      & flag
+      & info ["no-fail-on-assert"]
+          ~doc:
+            "Instead of aborting the execution on assertion failure, continues \
+             as if the assertion had succeeded and reports a warning."
+
     let flags =
       let make
           language
@@ -219,7 +227,8 @@ module Flags = struct
           disable_warnings
           max_prec_digits
           directory
-          stop_on_error : options =
+          stop_on_error
+          no_fail_on_assert : options =
         if debug then Printexc.record_backtrace true;
         let path_rewrite =
           match directory with
@@ -234,7 +243,7 @@ module Flags = struct
            returns the options record. *)
         Global.enforce_options ~language ~debug ~color ~message_format ~trace
           ~plugins_dirs ~disable_warnings ~max_prec_digits ~path_rewrite
-          ~stop_on_error ()
+          ~stop_on_error ~no_fail_on_assert ()
       in
       Term.(
         const make
@@ -247,7 +256,8 @@ module Flags = struct
         $ disable_warnings
         $ max_prec_digits
         $ directory
-        $ stop_on_error)
+        $ stop_on_error
+        $ no_fail_on_assert)
 
     let options =
       let make input_src name directory options : options =

compiler/catala_utils/global.ml

@@ -38,6 +38,7 @@ type options = {
   mutable max_prec_digits : int;
   mutable path_rewrite : raw_file -> file;
   mutable stop_on_error : bool;
+  mutable no_fail_on_assert : bool;
 }
 
 (* Note: we force that the global options (ie options common to all commands)
@@ -58,6 +59,7 @@ let options =
     max_prec_digits = 20;
     path_rewrite = (fun _ -> assert false);
     stop_on_error = false;
+    no_fail_on_assert = false;
   }
 
 let enforce_options
@@ -72,6 +74,7 @@ let enforce_options
     ?max_prec_digits
     ?path_rewrite
     ?stop_on_error
+    ?no_fail_on_assert
     () =
   Option.iter (fun x -> options.input_src <- x) input_src;
   Option.iter (fun x -> options.language <- x) language;
@@ -84,6 +87,7 @@ let enforce_options
   Option.iter (fun x -> options.max_prec_digits <- x) max_prec_digits;
   Option.iter (fun x -> options.path_rewrite <- x) path_rewrite;
   Option.iter (fun x -> options.stop_on_error <- x) stop_on_error;
+  Option.iter (fun x -> options.no_fail_on_assert <- x) no_fail_on_assert;
   options
 
 let input_src_file = function FileName f | Contents (_, f) | Stdin f -> f

compiler/catala_utils/global.mli

@@ -56,6 +56,7 @@ type options = private {
   mutable max_prec_digits : int;
   mutable path_rewrite : raw_file -> file;
   mutable stop_on_error : bool;
+  mutable no_fail_on_assert : bool;
 }
 (** Global options, common to all subcommands (note: the fields are internally
     mutable only for purposes of the [globals] toplevel value defined below) *)
@@ -77,6 +78,7 @@ val enforce_options :
   ?max_prec_digits:int ->
   ?path_rewrite:(raw_file -> file) ->
   ?stop_on_error:bool ->
+  ?no_fail_on_assert:bool ->
   unit ->
   options
 (** Sets up the global options (side-effect); for specific use-cases only, this