CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 00:15:39 +03:00
Code Issues Projects Releases Wiki Activity

New SMIC value: Update assets

Browse Source
This commit is contained in:
Denis Merigoux 2023-05-25 18:48:12 +02:00
parent d1f15db070
commit 6bc4cbd066
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
5 changed files with 27627 additions and 27264 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
examples/smic/smic.catala_fr
View File

@ -267,7 +267,7 @@ son montant est porté à 11,27 euros l'heure ;
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >= |2023-01-01| et (
date_courante >= |2023-01-01| et date_courante < |2023-05-01| et (
(résidence = Métropole) ou
(résidence = Guadeloupe) ou
(résidence = Guyane) ou
@ -285,8 +285,47 @@ champ d'application Smic :
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >= |2023-01-01| et (
date_courante >= |2023-01-01| et date_courante < |2023-05-01| et (
(résidence = Mayotte)
)
conséquence égal à 8,51 €
```
## Arrêté du 26 avril 2023 relatif au relèvement du salaire minimum de croissance
### Article 2 | JORFARTI000047495827
En conséquence, à compter du 1er mai 2023, pour les catégories de travailleurs
mentionnés à l'article L. 2211-1 du code du travail, le montant du salaire
minimum de croissance est relevé dans les conditions ci-après :
1° En métropole, en Guadeloupe, en Guyane, en Martinique, à La Réunion, à
Saint-Barthélemy, à Saint-Martin et à Saint-Pierre-et-Miquelon, son montant
est porté à 11,52 € l'heure ;
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >= |2023-05-01| et (
(résidence = Métropole) ou
(résidence = Guadeloupe) ou
(résidence = Guyane) ou
(résidence = Martinique) ou
(résidence = LaRéunion) ou
(résidence = SaintBarthélemy) ou
(résidence = SaintMartin) ou
(résidence = SaintPierreEtMiquelon)
)
conséquence égal à 11,52 €
```
2° A Mayotte, son montant est fixé à 8,70 € l'heure.
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >= |2023-05-01| et (
(résidence = Mayotte)
)
conséquence égal à 8,70 €
```

2
french_law/js/package.json
View File

@ -1,6 +1,6 @@
{
"name": "@catala-lang/french-law",
"version": "0.8.1",
"version": "0.8.2",
"description": "Library of computations defined by French legislative texts, extract from Catala programs (https://catala-lang.org)",
"main": "index.js",
"dependencies": {

54692
french_law/js/src/french_law.js generated
View File

File diff suppressed because one or more lines are too long

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

@ -3978,6 +3978,69 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(o_and
(o_gte_dat_dat date_courante_
(date_of_numbers (2023) (1) (1)))
(o_and
(o_lt_dat_dat date_courante_
(date_of_numbers (2023) (5) (1)))
(o_or
(o_eq residence_
(Collectivite.Metropole ()))
(o_or
(o_eq residence_
(Collectivite.Guadeloupe ()))
(o_or
(o_eq residence_
(Collectivite.Guyane ()))
(o_or
(o_eq residence_
(Collectivite.Martinique ()))
(o_or
(o_eq residence_
(Collectivite.LaReunion ()))
(o_or
(o_eq residence_
(Collectivite.SaintBarthelemy
()))
(o_or
(o_eq residence_
(Collectivite.SaintMartin
()))
(o_eq residence_
(Collectivite.SaintPierreEtMiquelon
())))))))))))))
(fun (_: unit) -> money_of_cents_string "1127"));
(fun (_: unit) ->
handle_default
{filename = ""; start_line=0; start_column=1;
end_line=0; end_column=1; law_headings=[]} ([||])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/aides_logement/../prestations_familiales/../smic/smic.catala_fr";
start_line=288; start_column=5;
end_line=290; end_column=6;
law_headings=["Article 1";
"Décret n° 2022-1608 du 22 décembre 2022 portant relèvement du salaire minimum de croissance";
"Montant du salaire minimum de croissance"]}
(o_and
(o_gte_dat_dat date_courante_
(date_of_numbers (2023) (1) (1)))
(o_and
(o_lt_dat_dat date_courante_
(date_of_numbers (2023) (5) (1)))
(o_eq residence_ (Collectivite.Mayotte ()))))))
(fun (_: unit) -> money_of_cents_string "851"));
(fun (_: unit) ->
handle_default
{filename = ""; start_line=0; start_column=1;
end_line=0; end_column=1; law_headings=[]} ([||])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/aides_logement/../prestations_familiales/../smic/smic.catala_fr";
start_line=309; start_column=5;
end_line=318; end_column=6;
law_headings=["Article 2";
"Arrêté du 26 avril 2023 relatif au relèvement du salaire minimum de croissance";
"Montant du salaire minimum de croissance"]}
(o_and
(o_gte_dat_dat date_courante_
(date_of_numbers (2023) (5) (1)))
(o_or
(o_eq residence_ (Collectivite.Metropole ()))
(o_or
@ -4003,23 +4066,23 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(o_eq residence_
(Collectivite.SaintPierreEtMiquelon
()))))))))))))
(fun (_: unit) -> money_of_cents_string "1127"));
(fun (_: unit) -> money_of_cents_string "1152"));
(fun (_: unit) ->
handle_default
{filename = ""; start_line=0; start_column=1;
end_line=0; end_column=1; law_headings=[]} ([||])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/aides_logement/../prestations_familiales/../smic/smic.catala_fr";
start_line=288; start_column=5;
end_line=290; end_column=6;
law_headings=["Article 1";
"Décret n° 2022-1608 du 22 décembre 2022 portant relèvement du salaire minimum de croissance";
start_line=327; start_column=5;
end_line=329; end_column=6;
law_headings=["Article 2";
"Arrêté du 26 avril 2023 relatif au relèvement du salaire minimum de croissance";
"Montant du salaire minimum de croissance"]}
(o_and
(o_gte_dat_dat date_courante_
(date_of_numbers (2023) (1) (1)))
(date_of_numbers (2023) (5) (1)))
(o_eq residence_ (Collectivite.Mayotte ())))))
(fun (_: unit) -> money_of_cents_string "851"))|])
(fun (_: unit) -> money_of_cents_string "870"))|])
(fun (_: unit) -> false) (fun (_: unit) -> raise EmptyError)))
with
EmptyError -> (raise (NoValueProvided

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

@ -928,6 +928,69 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(o_and
(o_gte_dat_dat date_courante_
(date_of_numbers (2023) (1) (1)))
(o_and
(o_lt_dat_dat date_courante_
(date_of_numbers (2023) (5) (1)))
(o_or
(o_eq residence_
(Collectivite.Metropole ()))
(o_or
(o_eq residence_
(Collectivite.Guadeloupe ()))
(o_or
(o_eq residence_
(Collectivite.Guyane ()))
(o_or
(o_eq residence_
(Collectivite.Martinique ()))
(o_or
(o_eq residence_
(Collectivite.LaReunion ()))
(o_or
(o_eq residence_
(Collectivite.SaintBarthelemy
()))
(o_or
(o_eq residence_
(Collectivite.SaintMartin
()))
(o_eq residence_
(Collectivite.SaintPierreEtMiquelon
())))))))))))))
(fun (_: unit) -> money_of_cents_string "1127"));
(fun (_: unit) ->
handle_default
{filename = ""; start_line=0; start_column=1;
end_line=0; end_column=1; law_headings=[]} ([||])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=288; start_column=5;
end_line=290; end_column=6;
law_headings=["Article 1";
"Décret n° 2022-1608 du 22 décembre 2022 portant relèvement du salaire minimum de croissance";
"Montant du salaire minimum de croissance"]}
(o_and
(o_gte_dat_dat date_courante_
(date_of_numbers (2023) (1) (1)))
(o_and
(o_lt_dat_dat date_courante_
(date_of_numbers (2023) (5) (1)))
(o_eq residence_ (Collectivite.Mayotte ()))))))
(fun (_: unit) -> money_of_cents_string "851"));
(fun (_: unit) ->
handle_default
{filename = ""; start_line=0; start_column=1;
end_line=0; end_column=1; law_headings=[]} ([||])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=309; start_column=5;
end_line=318; end_column=6;
law_headings=["Article 2";
"Arrêté du 26 avril 2023 relatif au relèvement du salaire minimum de croissance";
"Montant du salaire minimum de croissance"]}
(o_and
(o_gte_dat_dat date_courante_
(date_of_numbers (2023) (5) (1)))
(o_or
(o_eq residence_ (Collectivite.Metropole ()))
(o_or
@ -953,23 +1016,23 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(o_eq residence_
(Collectivite.SaintPierreEtMiquelon
()))))))))))))
(fun (_: unit) -> money_of_cents_string "1127"));
(fun (_: unit) -> money_of_cents_string "1152"));
(fun (_: unit) ->
handle_default
{filename = ""; start_line=0; start_column=1;
end_line=0; end_column=1; law_headings=[]} ([||])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=288; start_column=5;
end_line=290; end_column=6;
law_headings=["Article 1";
"Décret n° 2022-1608 du 22 décembre 2022 portant relèvement du salaire minimum de croissance";
start_line=327; start_column=5;
end_line=329; end_column=6;
law_headings=["Article 2";
"Arrêté du 26 avril 2023 relatif au relèvement du salaire minimum de croissance";
"Montant du salaire minimum de croissance"]}
(o_and
(o_gte_dat_dat date_courante_
(date_of_numbers (2023) (1) (1)))
(date_of_numbers (2023) (5) (1)))
(o_eq residence_ (Collectivite.Mayotte ())))))
(fun (_: unit) -> money_of_cents_string "851"))|])
(fun (_: unit) -> money_of_cents_string "870"))|])
(fun (_: unit) -> false) (fun (_: unit) -> raise EmptyError)))
with
EmptyError -> (raise (NoValueProvided