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

Update assets

Browse Source
This commit is contained in:
Denis Merigoux 2023-03-21 16:10:00 +01:00
parent 1a7982d225
commit 3122dd7821
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
7 changed files with 151551 additions and 145635 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/literate/latex.ml
View File

@ -196,7 +196,7 @@ let code_block ~meta lang fmt (code, pos) =
let contents = String.concat "" ["```catala\n"; code; "```"] in
File.with_temp_file "catala_latex_pygments" "in" ~contents
@@ fun temp_file_in ->
call_pygmentize ~lang ["-f"; "latex"; "-O"; "nowrap=true"; temp_file_in]
call_pygmentize ~lang ["-f"; "latex"; "-O"; "nowrap=True"; temp_file_in]
in
Format.fprintf fmt
{latex|\begin{Verbatim}[commandchars=\\\{\},numbers=left,firstnumber=%d,stepnumber=1,label={\hspace*{\fill}\texttt{%s}}%s]|latex}

219492
french_law/js/french_law.js generated
View File

File diff suppressed because one or more lines are too long

15109
french_law/ocaml/law_source/aides_logement.ml generated
View File

File diff suppressed because it is too large Load Diff

6
french_law/ocaml/law_source/aides_logement_api_web.ml generated
View File

@ -3510,6 +3510,7 @@ class type ressources_aides_personnelle_logement_in =
personne_a_charge Js.t Js.js_array Js.t Js.readonly_prop
method situationFamilialeIn: situation_familiale Js.t Js.readonly_prop
method modeOccupationIn: mode_occupation Js.t Js.readonly_prop
method dateCouranteIn: Js.js_string Js.t Js.readonly_prop
method conditionAgeBourseEnseignementSuperieurIn:
bool Js.t Js.readonly_prop
method demandeurPoursuitDesEtudesIn: bool Js.t Js.readonly_prop
@ -3539,6 +3540,8 @@ class type ressources_aides_personnelle_logement_in =
situation_familiale_to_jsoo ressources_aides_personnelle_logement_in.situation_familiale_in
val modeOccupationIn =
mode_occupation_to_jsoo ressources_aides_personnelle_logement_in.mode_occupation_in
val dateCouranteIn =
date_to_jsoo ressources_aides_personnelle_logement_in.date_courante_in
val conditionAgeBourseEnseignementSuperieurIn =
Js.bool ressources_aides_personnelle_logement_in.condition_age_bourse_enseignement_superieur_in
val demandeurPoursuitDesEtudesIn =
@ -3582,6 +3585,9 @@ class type ressources_aides_personnelle_logement_in =
mode_occupation_in =
mode_occupation_of_jsoo
ressources_aides_personnelle_logement_in##.modeOccupationIn;
date_courante_in =
date_of_jsoo
ressources_aides_personnelle_logement_in##.dateCouranteIn;
condition_age_bourse_enseignement_superieur_in =
Js.to_bool
ressources_aides_personnelle_logement_in

6
french_law/ocaml/law_source/allocations_familiales.ml generated
View File

@ -527,13 +527,13 @@ let verification_age_superieur_a (verification_age_superieur_a_in: VerificationA
try
(handle_default
{filename = "examples/allocations_familiales/../smic/../prologue_france/prologue.catala_fr";
start_line=32; start_column=12; end_line=32; end_column=25;
start_line=33; start_column=12; end_line=33; end_column=25;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]} (
[||])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/allocations_familiales/../smic/../prologue_france/prologue.catala_fr";
start_line=35; start_column=14; end_line=35; end_column=27;
start_line=36; start_column=14; end_line=36; end_column=27;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
true))
@ -543,7 +543,7 @@ let verification_age_superieur_a (verification_age_superieur_a_in: VerificationA
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/../smic/../prologue_france/prologue.catala_fr";
start_line=32; start_column=12; end_line=32; end_column=25;
start_line=33; start_column=12; end_line=33; end_column=25;
law_headings=["Prologue"; "Montant du salaire minimum de croissance"]})))) in
{VerificationAgeSuperieurA.est_superieur = est_superieur_}

22881
french_law/python/src/aides_logement.py generated
View File

File diff suppressed because it is too large Load Diff

4
french_law/python/src/allocations_familiales.py generated
View File

@ -643,8 +643,8 @@ def verification_age_superieur_a(verification_age_superieur_a_in:VerificationAge
except EmptyError:
temp_est_superieur = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/../smic/../prologue_france/prologue.catala_fr",
start_line=32, start_column=12,
end_line=32, end_column=25,
start_line=33, start_column=12,
end_line=33, end_column=25,
law_headings=["Prologue",
"Montant du salaire minimum de croissance"]))
est_superieur = temp_est_superieur