diff --git a/flap/src/fopix/hobixToFopix.ml b/flap/src/fopix/hobixToFopix.ml index c6c570f..b7d94b6 100644 --- a/flap/src/fopix/hobixToFopix.ml +++ b/flap/src/fopix/hobixToFopix.ml @@ -363,8 +363,7 @@ let translate (p : S.t) env = (* Revoir les explications c'est pas clair *) and apply env f arguments = (* D'abord, on traduit chaque arguments *) - let trad_argument argument = expression env argument in - let defs_args, trad_arguments = List.split (List.map trad_argument arguments) in + let defs_args, trad_arguments = expressions env arguments in (* On créé un FunCall en fonction de f *) match f with | S.Variable x when Dict.lookup x env.externals <> None -> @@ -391,7 +390,7 @@ let translate (p : S.t) env = in (* Enfin, on concatène toute les parties de la fonction (la traduction de tout les arguments) *) - let defs = defs_func @ List.concat defs_args in + let defs = defs_func @ defs_args in (* Et on renvoie la def de la fonction ainsi que l'appel *) defs, defs_call in