CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Restore CI

Browse Source
This commit is contained in:
Denis Merigoux 2023-12-11 11:44:25 +01:00
parent c61bdbc5d7
commit 79a261bb47
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
2 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/plugins/python.ml
View File

@ -33,7 +33,7 @@ let run
let open Driver.Commands in
let prg, type_ordering =
Driver.Passes.scalc options ~includes ~optimize ~check_invariants
~avoid_exceptions ~closure_conversion
~avoid_exceptions ~closure_conversion ~keep_special_ops:false
in
let output_file, with_output = get_output_format options ~ext:".py" output in

7
compiler/scalc/from_lcalc.ml
View File

@ -469,6 +469,7 @@ let translate_program ~(keep_special_ops : bool) (p : 'm L.program) : A.program
A.FuncName.fresh (Bindlib.name_of var ^ "_aux", pos)
in
(* The list is being built in reverse order *)
(* FIXME: find a better way than a function with no parameters... *)
A.SVar
{
var = var_id;
@ -483,11 +484,7 @@ let translate_program ~(keep_special_ops : bool) (p : 'm L.program) : A.program
A.func_params = [];
A.func_body =
block @ [A.SReturn (Mark.remove expr), Mark.get expr];
A.func_return_typ =
(match topdef_ty with
| TArrow (_, t2), _ -> t2
| TAny, pos_any -> TAny, pos_any
| _ -> failwith "should not happen");
A.func_return_typ = topdef_ty;
};
}
:: rev_items