This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
type Enfant = { | |
identifiant: integer | |
obligation_scolaire: SituationObligationScolaire | |
rémuneration_mensuelle: money | |
date_de_naissance: date | |
âge: integer | |
prise_en_charge: PriseEnCharge | |
a_déjà_ouvert_droit_aux_allocations_familiales: bool | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
h6 class='law-heading'><a href='#'>Chapitre 2 : Champ d'application</a></h6> | |
<h7 class='law-heading'><a href='https://legifrance.gouv.fr/codes/id/LEGIARTI000038834523/2021-06-05'>Article L512-3</a></h7> | |
<p class='law-text'>Sous réserve des règles particulières à chaque prestation, | |
ouvre droit aux prestations familiales :<br/> | |
1°) tout enfant jusqu'à la fin de l'obligation scolaire ;</p> | |
<div class='code-wrapper'> | |
<div class='filename'>./securite_sociale_L.catala_fr</div> | |
<table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre> | |
<span class="normal"><a href="#./securite_sociale_L.catala_fr-48">48</a></span> | |
<span class="normal"><a href="#./securite_sociale_L.catala_fr-49">49</a></span> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/compiler/driver.ml b/compiler/driver.ml | |
index 2dac8dc..b315a19 100644 | |
--- a/compiler/driver.ml | |
+++ b/compiler/driver.ml | |
@@ -175,8 +175,11 @@ let driver (source_file : Pos.input_file) (debug : bool) (unstyled : bool) | |
match output_file with | |
| Some f -> | |
let oc = open_out f in | |
- (Format.formatter_of_out_channel oc, fun _ -> close_out oc) | |
- | None -> (Format.std_formatter, fun _ -> ()) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[RESULT] [InterfaceAllocationsFamiliales.i_montant_versé] This variable never returns an empty error | |
[RESULT] [InterfaceAllocationsFamiliales.i_montant_versé] No two exceptions to ever overlap for this variable | |
[RESULT] [InterfaceAllocationsFamiliales.allocations_familiales.avait_enfant_à_charge_avant_1er_janvier_2012] No two exceptions to ever overlap for this variable | |
[RESULT] [InterfaceAllocationsFamiliales.allocations_familiales.enfants_à_charge] No two exceptions to ever overlap for this variable | |
[RESULT] [InterfaceAllocationsFamiliales.allocations_familiales.date_courante] No two exceptions to ever overlap for this variable | |
[RESULT] [InterfaceAllocationsFamiliales.allocations_familiales.résidence] No two exceptions to ever overlap for this variable | |
[RESULT] [InterfaceAllocationsFamiliales.allocations_familiales.ressources_ménage] No two exceptions to ever overlap for this variable | |
[RESULT] [InterfaceAllocationsFamiliales.allocations_familiales.personne_charge_effective_permanente_remplit_titre_I] No two |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file has been generated by the Catala compiler, do not edit! | |
library(catalaRuntime) | |
# Enum cases: "Non" ("catala_unit"), "Oui" ("catala_money") | |
setClass( | |
"catala_enum_FraisReels", | |
representation(code = "character", value = "ANY") | |
) |
OlderNewer