C backend: make and, or lazy

as would normally be expected ?

Author: AltGr

compiler/scalc/to_c.ml

@@ -328,6 +328,14 @@ let rec format_expression
          ~pp_sep:(fun fmt () -> Format.fprintf fmt ",@ ")
          format_expression)
       args
+  | EAppOp { op = ((And | Or) as op), _; args; _ } ->
+    Format.fprintf fmt "catala_new_bool(@[<hov 0>%a)@]"
+      (Format.pp_print_list
+         ~pp_sep:(fun fmt () ->
+           Format.fprintf fmt " %s@ "
+             (match op with And -> "&&" | Or -> "||" | _ -> assert false))
+         (fun fmt e -> Format.fprintf fmt "*(%a)" format_expression e))
+      args
   | EAppOp { op; args; _ } ->
     Format.fprintf fmt "%a(@[<hov 0>%a)@]" format_op op
       (Format.pp_print_list

runtimes/c/runtime.c

@@ -155,6 +155,11 @@ static mpz_t zconst_100;
   mpq_ptr X = catala_malloc(sizeof(__mpq_struct)); \
   mpq_init(X)
 
+CATALA_BOOL catala_new_bool(const int x)
+{
+  return CATALA_NEW_BOOL(x);
+}
+
 CATALA_INT catala_new_int(const signed long int val)
 {
   CATALA_NEW_MPZ(ret);

runtimes/c/runtime.h

@@ -126,6 +126,8 @@ CATALA_BOOL catala_isnone (const CATALA_OPTION() opt);
 
 /* --- Constructors --- */
 
+CATALA_BOOL catala_new_bool(const int);
+
 CATALA_INT catala_new_int(const signed long int val);
 
 /* Arg is a null-terminated string */