Commit Graph

115 Commits

Author SHA1 Message Date
Denis Merigoux
dd2954838b
Formatting 2023-02-24 10:44:40 +01:00
Denis Merigoux
425a6e19f4
Finished L861-5 with @JusBanuls 2023-02-24 10:44:27 +01:00
Denis Merigoux
5c588cf996
Fixed exception structure for charges locatives with @JusBanuls 2023-02-24 10:12:15 +01:00
JusBanuls
ed998fd824 Articles législatifs et réglementaires des outre-mer 2023-02-23 17:53:28 +01:00
Denis Merigoux
366b293649
Progrès avec @JusBanuls 2023-02-21 18:13:27 +01:00
JusBanuls
9222cf1622 Avancement archives arrêté 2019 2023-02-21 15:18:20 +01:00
Denis Merigoux
82132bf145
Updated tests 2023-02-20 16:58:16 +01:00
Denis Merigoux
70db75b09f
Date entrée en vigueur article 31 2023-02-20 16:58:05 +01:00
Denis Merigoux
984b79d09a
Un peu de progrès sur L861-5 2023-02-14 17:30:28 +01:00
Denis Merigoux
6a2c644e9e
Fin de l'arrêté du 27 septembre 2019 pour les outre-mer 2023-02-14 15:58:20 +01:00
JusBanuls
d6e6d3de7d Correction de l'art. 52 après rectification sur Légifrance par la DILA 2023-02-10 12:03:05 +01:00
JusBanuls
f1fed717e5 Remplacement du contenu de l'article 52 de l'arrêté de 2019 2023-01-30 11:57:28 +01:00
JusBanuls
ac2f02b7e9 Ajout des derniers articles de l'arrêté 2023-01-24 16:31:22 +01:00
JusBanuls
802818735e Allocations logement: fix typos 2023-01-23 11:56:21 +01:00
JusBanuls
a907eed46f Aides logement: simplify using cumulative exceptions 2023-01-23 11:54:08 +01:00
Denis Merigoux
df560ce366
Fixed another bug thanks to proof mode! 2023-01-20 16:14:30 -05:00
Denis Merigoux
639e2922ad
Remove implicit bound not yet met 2023-01-20 16:04:44 -05:00
Denis Merigoux
a13bbf03d3
Fix bug found by proof mode! 2023-01-20 16:04:33 -05:00
Denis Merigoux
1a97c21ca5
Add missing residence 2023-01-20 15:55:13 -05:00
Denis Merigoux
7054a8c6a7
Putting useful assertions restricting input parameters 2023-01-20 14:47:52 -05:00
Denis Merigoux
19e48f8781
Merge branch 'master' into aides_logement_outre_mer 2023-01-20 13:55:12 -05:00
Denis Merigoux
fcca9e4c47
Correction after confirmation from regulatory body 2023-01-20 10:10:31 -05:00
JusBanuls
52e1bf0cf6 Ajout de la variable résidence aux tests 2023-01-17 11:38:25 +01:00
Louis Gesbert
19033669f5 Add support for paths in the parser
Using them will lead to "not supported yet" errors soon after, but it's a start
to get to handling separate modules.

The idea is that `foo` can now also be `Bar.foo`, `Bar.Baz.foo`, `foo.Struc.fld`
can be `foo.Bar.Baz.Struc.fld`, etc.
The next steps are to enable the lookups to handle this paths, and to provide
ways to load the external modules to feed these lookups.
2023-01-16 12:09:23 +01:00
Denis Merigoux
2b6687fc44
FIx one of the tests 2023-01-13 16:15:11 +01:00
Denis Merigoux
9557e571d4
Todo list for Justine 2023-01-13 16:15:00 +01:00
Denis Merigoux
5d8c744e7f
Progress with Justine on overseas 2023-01-13 16:14:48 +01:00
Denis Merigoux
defe6a82a3
Début implémentation outre-mer avec Justine 2023-01-10 16:13:05 +01:00
Denis Merigoux
c81c5c6708
Small bug spotted with the help of Justine 2023-01-10 11:55:23 +01:00
Denis Merigoux
d86eb8cb03
Ajout revalorisation plafond ASPA 2023 2023-01-10 11:47:14 +01:00
Denis Merigoux
fa84dd4330
Splitting long lines 2023-01-05 16:20:51 +01:00
Denis Merigoux
27cf705441
Update article 18 2023-01-04 16:30:14 +01:00
Denis Merigoux
b0e7e9faf8
Update art 15 2023-01-04 16:30:14 +01:00
Louis Gesbert
2003566867 Force parens in compound logic formulas
Closes #373

This forbids expressions such as `a and b or c`, avoiding the need to set an
implicit priority between `and`, `or` and `xor`, which I find error-prone.

Instead, when that appears, a message asking for explicit parentheses will be
shown to the user.

Implementation note: since that would be extremely tedious to do in the parser
directly, the parser is set to allow right-associativity without discrimination
for the logical operators, and the check is done during desugaring. This
required to explicit parentheses in the surface AST to discriminate the case
where the priority was explicit.
2023-01-04 10:46:14 +01:00
Louis Gesbert
47502335aa Refactor the parser to use priorities
Define a single expression rule with disambiguation using token priorities
instead of the many layers of intermediate rules with explicit sub-terms.

Also replaces `in` for collection operations (`x+1 for foo in [1;2]`) with
`among` which helps a lot.
2022-12-19 15:12:53 +01:00
Louis Gesbert
f236e2cfb2 Replace the type conversion and rounding operators with overloads
Ref. #366

Also updates `CONTRIBUTING.md`.

This was pretty straight-forward :)
2022-12-13 15:32:49 +01:00
Louis Gesbert
dcb422302d Tests/examples update 2022-12-13 12:30:40 +01:00
Louis Gesbert
bb58d11ca8 Improve syntax for scope calls
implements #357
2022-12-13 12:30:38 +01:00
Louis Gesbert
09d49ab1cc French syntax: replace 'sortie' with 'résultat'
as per comment in #357
2022-12-13 12:27:33 +01:00
Louis Gesbert
71bb67163c Remove explicitely typed operators in tests and examples
Command used: `sed -i 's/\([-+*/><=]=\?\)[.$@^€$]/\1/g' **/*/*.catala_*`

The overload test, of course, is kept unchanged and ensures that explicit
operators still work.
2022-12-13 12:00:04 +01:00
Louis Gesbert
4ee4a96ac7 Remove *all* struct field access qualifiers in catala code
They are no longer needed \o/
2022-11-28 16:42:02 +01:00
Denis Merigoux
d7b9396e87
Correct lines 2022-11-24 15:17:00 +01:00
Louis Gesbert
a51d082033 Use scope calls in "Aides logement" 2022-11-07 14:23:10 +01:00
Louis Gesbert
b19a7660fc Fix ambiguities in examples 2022-10-21 17:36:44 +02:00
Louis Gesbert
5fc3181621 Aides logement: fix typo 2022-10-11 17:38:31 +02:00
Louis Gesbert
0ab7a0f9ce Turn all existing tests to inline tests
Done using
```bash
process() { FILE=$1; awk 'match($0, /^```catala-test *{ *id *= *"(.*)" *}/, a) {print "```catala-test-inline"; f="'"$(dirname $FILE)/output/$(basename $FILE)"'." a[1]; getline; print "$ " $0; while ((getline<f) > 0) print; next} {print}' $FILE >$FILE.new; mv $FILE.new $FILE; }
for f in tests/test_*/*/*.catala_* examples/**/*.catala_*; do process $f; git add $f; done
for d in $(find -name output -type d); do git rm -r $d; done
```
2022-09-23 14:45:10 +02:00
Denis Merigoux
6e64f769a0
Update assets and rename executable 2022-09-08 15:16:39 +02:00
Denis Merigoux
a4207c9d9e
Last corrections 2022-09-08 14:54:02 +02:00
Denis Merigoux
1df20c18ac
Fixing discrepancies with LegiFrance in French housing benefits 2022-09-08 12:30:16 +02:00
Denis Merigoux
3188ac5e13
Starting to fix diffs 2022-09-07 17:51:48 +02:00