From 20aa04eb96151c3feb58b446730eb7c6daf222dd Mon Sep 17 00:00:00 2001 From: Siggy Scott Date: Fri, 23 Jun 2023 08:33:47 -0400 Subject: [PATCH 1/3] Tweak tutorial language in response to #273. --- examples/tutorial_en/tutorial_en.catala_en | 16 ++++++++++------ examples/tutoriel_fr/tutoriel_fr.catala_fr | 15 ++++++++++----- 2 files changed, 20 insertions(+), 11 deletions(-) diff --git a/examples/tutorial_en/tutorial_en.catala_en b/examples/tutorial_en/tutorial_en.catala_en index e68ff883..c7d0c1e0 100644 --- a/examples/tutorial_en/tutorial_en.catala_en +++ b/examples/tutorial_en/tutorial_en.catala_en @@ -227,13 +227,17 @@ scope IncomeTaxComputation: consequence equals 15 % # Writing 15% is just an abbreviation for "0.15". ``` +While conditional definitions are a powerful tool for expressing legal conditions, +a correctly drafted legislative source should always ensure that at most one +condition is true at all times. This way, when the Catala program is +executed, the right definition will be dynamically chosen by looking at which +condition is true. -When the Catala program will execute, the right definition will be dynamically -chosen by looking at which condition is true. A correctly drafted legislative -source should always ensure that at most one condition is true at all times. -However, if it is not the case, Catala will let you define a precedence on the -conditions, which has to be justified by the law. But we will see how to -do that later. +Here, however, our definition of `fixed_percentage` conflicts +with the more general definition that we gave above---so Catala will give us +an error if we try and use this definition as is. In situations like this, Catala +allows us to define a precedence on the conditions, which has to be justified by +the law. But we will see how to do that later. ## Rules diff --git a/examples/tutoriel_fr/tutoriel_fr.catala_fr b/examples/tutoriel_fr/tutoriel_fr.catala_fr index f11d32a4..bbadf57f 100644 --- a/examples/tutoriel_fr/tutoriel_fr.catala_fr +++ b/examples/tutoriel_fr/tutoriel_fr.catala_fr @@ -245,12 +245,17 @@ champ d'application CalculImpôtRevenu: conséquence égal à 15% # Ecrire 15% est juste une abbréviation pour « 0.15 » ``` - -Quand le programme Catala va s’exécuter, la juste définition sera choisie +Alors que les définitions conditionelles sont un outil puissant por exprimer +conditions légales, une source législative rédigée correctement doit toujours +garantir qu’une seule condition, au maximum, soit vraie à tout moment. De cette +façon, quand le programme Catala va s’exécuter, la juste définition sera choisie dynamiquement en déterminant quelle condition est vraie, selon le contexte. -Une source législative rédigée correctement doit toujours garantir qu’une seule -condition, au maximum, soit vraie à tout moment. Toutefois, si ce n’est pas -le cas, Catala vous permettra de définir un ordre des priorités sur les + +Ici, cependant, notre définition des conflits `fixed_percentage` avec la définition +plus générale que nous avons donnée ci-dessus. Ainsi Catala nous donnera une erreur +si nous essayons d'utiliser cette définition telle quelle. + +Dans des situations comme celle-ci, Catala vous permettra de définir un ordre des priorités sur les conditions, qui devra être justifié par un raisonnement juridique. Mais nous verrons comment faire cela plus tard. From b0346134990f5d3996159cc97114c1d009db0d8b Mon Sep 17 00:00:00 2001 From: Siggy Scott Date: Fri, 23 Jun 2023 13:22:58 -0400 Subject: [PATCH 2/3] Correct a variable name in the French-language tutorial. --- examples/tutoriel_fr/tutoriel_fr.catala_fr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/tutoriel_fr/tutoriel_fr.catala_fr b/examples/tutoriel_fr/tutoriel_fr.catala_fr index bbadf57f..98cdfbfd 100644 --- a/examples/tutoriel_fr/tutoriel_fr.catala_fr +++ b/examples/tutoriel_fr/tutoriel_fr.catala_fr @@ -251,7 +251,7 @@ garantir qu’une seule condition, au maximum, soit vraie à tout moment. De ce façon, quand le programme Catala va s’exécuter, la juste définition sera choisie dynamiquement en déterminant quelle condition est vraie, selon le contexte. -Ici, cependant, notre définition des conflits `fixed_percentage` avec la définition +Ici, cependant, notre définition des conflits `pourcentage_fixe` avec la définition plus générale que nous avons donnée ci-dessus. Ainsi Catala nous donnera une erreur si nous essayons d'utiliser cette définition telle quelle. From 26dd6012b1fe146fca0e007d38e2d66b93ebb39f Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Tue, 27 Jun 2023 10:48:58 +0200 Subject: [PATCH 3/3] Better French wording --- examples/tutoriel_fr/tutoriel_fr.catala_fr | 26 +++++++++++++--------- 1 file changed, 15 insertions(+), 11 deletions(-) diff --git a/examples/tutoriel_fr/tutoriel_fr.catala_fr b/examples/tutoriel_fr/tutoriel_fr.catala_fr index 98cdfbfd..565d7579 100644 --- a/examples/tutoriel_fr/tutoriel_fr.catala_fr +++ b/examples/tutoriel_fr/tutoriel_fr.catala_fr @@ -245,19 +245,23 @@ champ d'application CalculImpôtRevenu: conséquence égal à 15% # Ecrire 15% est juste une abbréviation pour « 0.15 » ``` -Alors que les définitions conditionelles sont un outil puissant por exprimer -conditions légales, une source législative rédigée correctement doit toujours -garantir qu’une seule condition, au maximum, soit vraie à tout moment. De cette -façon, quand le programme Catala va s’exécuter, la juste définition sera choisie -dynamiquement en déterminant quelle condition est vraie, selon le contexte. -Ici, cependant, notre définition des conflits `pourcentage_fixe` avec la définition -plus générale que nous avons donnée ci-dessus. Ainsi Catala nous donnera une erreur -si nous essayons d'utiliser cette définition telle quelle. +Même si les définitions conditionelles sont un outil puissant et expressif, +une document juridique correctement rédigé doit toujours garantir qu’une seule +condition au maximum soit vraie à tout moment. De cette façon, quand le +programme Catala va s’exécuter, la juste définition sera choisie dynamiquement +en déterminant quelle condition est vraie, selon le contexte. -Dans des situations comme celle-ci, Catala vous permettra de définir un ordre des priorités sur les -conditions, qui devra être justifié par un raisonnement juridique. Mais nous -verrons comment faire cela plus tard. +Ici, nous pouvons détecter un conflit sur `pourcentage_fixe` entre la +définition générale et celle ci-dessus avec plus de ceux enfants. Catala +donnera une erreur à l'exécution si nous essayons d'utiliser ces définitions +de `pourcentage_fixe` avec plus de deux enfants ; les deux définitions +contradictoires sont valables en même temps. + + +Dans des situations comme celle-ci, Catala vous permettra de définir un ordre +des priorité sur les conditions, qui devra être justifié par un raisonnement +juridique. Mais nous verrons comment faire cela plus tard. ## Règles