Splitting long lines

This commit is contained in:
Denis Merigoux 2023-01-05 16:20:51 +01:00
parent d2ce111fc2
commit fa84dd4330
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
7 changed files with 7140 additions and 5915 deletions

View File

@ -307,9 +307,20 @@ let rec translate_expr (ctx : 'm ctx) (e : 'm Scopelang.Ast.expr) :
let arg_struct = let arg_struct =
Expr.estruct sc_sig.scope_sig_input_struct field_map (mark_tany m pos) Expr.estruct sc_sig.scope_sig_input_struct field_map (mark_tany m pos)
in in
Expr.eapp tag_with_log_entry
(Expr.evar sc_sig.scope_sig_scope_var (mark_tany m pos)) (Expr.eapp
[arg_struct] m (tag_with_log_entry
(Expr.evar sc_sig.scope_sig_scope_var (mark_tany m pos))
BeginCall
[ScopeName.get_info scope; Marked.mark (Expr.pos e) "direct"])
[
tag_with_log_entry arg_struct
(VarDef (TStruct sc_sig.scope_sig_input_struct))
[ScopeName.get_info scope; Marked.mark (Expr.pos e) "input"];
]
m)
EndCall
[ScopeName.get_info scope; Marked.mark (Expr.pos e) "direct"]
| EApp { f; args } -> | EApp { f; args } ->
(* We insert various log calls to record arguments and outputs of (* We insert various log calls to record arguments and outputs of
user-defined functions belonging to scopes *) user-defined functions belonging to scopes *)

View File

@ -800,7 +800,8 @@ Par personne supplémentaire à charge 102
```catala ```catala
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété: champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
exception petit_2 définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt exception petit_2
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition sous condition
date_courante >= |2023-01-01| et date_courante >= |2023-01-01| et
date_signature_prêt >= |1992-06-30| et date_signature_prêt >= |1992-06-30| et

View File

@ -266,7 +266,8 @@ champ d'application CalculetteAidesAuLogementGardeAlternée:
# à domicile. # à domicile.
(calculette.aide_finale_formule - (calculette.aide_finale_formule -
calculette_sans_garde_alternée.aide_finale_formule) * calculette_sans_garde_alternée.aide_finale_formule) *
((somme décimal de coefficents_enfants_garde_alternée_pris_en_compte) / ((somme décimal de
coefficents_enfants_garde_alternée_pris_en_compte) /
(décimal de (décimal de
nombre de coefficents_enfants_garde_alternée_pris_en_compte)))) nombre de coefficents_enfants_garde_alternée_pris_en_compte))))
``` ```

View File

@ -127,7 +127,8 @@ champ d'application RessourcesAidesPersonnelleLogement:
ressources_personnes_vivant_habituellement_foyer ressources_personnes_vivant_habituellement_foyer
définition ressources_personnes_vivant_habituellement_foyer égal à définition ressources_personnes_vivant_habituellement_foyer égal à
somme argent de personne.ressources pour personne parmi personnes_vivant_habituellement_foyer somme argent de personne.ressources pour
personne parmi personnes_vivant_habituellement_foyer
``` ```
Sont considérées comme vivant habituellement au foyer les personnes y ayant Sont considérées comme vivant habituellement au foyer les personnes y ayant

View File

@ -10,7 +10,8 @@ la fonction du bloc de code ci-dessous.
```catala-metadata ```catala-metadata
champ d'application EnfantLePlusÂgé: champ d'application EnfantLePlusÂgé:
définition le_plus_âgé égal à définition le_plus_âgé égal à
potentiel_plus_âgé parmi enfants tel que potentiel_plus_âgé.date_de_naissance est minimum potentiel_plus_âgé parmi enfants tel que
potentiel_plus_âgé.date_de_naissance est minimum
ou si collection vide alors Enfant { ou si collection vide alors Enfant {
-- identifiant: -1 -- identifiant: -1
-- obligation_scolaire: Pendant -- obligation_scolaire: Pendant

View File

@ -587,8 +587,8 @@ scope Test5:
} }
definition income_tax equals definition income_tax equals
if normal_income_tax_computation_applies then if normal_income_tax_computation_applies then
(output of NewIncomeTaxComputationFixed with { -- individual: individual }) (output of NewIncomeTaxComputationFixed with
.income_tax { -- individual: individual }).income_tax
else $0 # Insert some other modes of computation here else $0 # Insert some other modes of computation here
``` ```

File diff suppressed because it is too large Load Diff