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
941 Commits 43 Branches 8 Tags 62 MiB
962d5d2f82
Commit Graph

941 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Bartosz Woźniak
962d5d2f82 compilation fixes 2021-05-11 20:26:17 +02:00
Bartosz Woźniak
21584e6444 polish syntax pygments 2021-05-10 19:05:18 +02:00
Bartosz Woźniak
c9876cd077 cleanup 2021-05-09 23:26:24 +02:00
Bartosz Woźniak
f2055d67ac tests 2021-05-09 23:15:19 +02:00
Bartosz Woźniak
e4bc4c3c8f swap english -> polish 2021-05-09 23:06:59 +02:00
Bartosz Woźniak
db46b1c444 lexer 2021-05-09 23:01:38 +02:00
Bartosz Woźniak
37c8f8da64 fixes for pdf, cleanup 2021-05-09 17:10:26 +02:00
Bartosz Woźniak
3323f47a94 add beginning of polish civil law tax 2021-05-08 17:38:52 +02:00
Denis Merigoux
fa05ac4882
Merge pull request #116 from mr-infty/typo 
Fixed typo.
 2021-05-06 18:20:30 +02:00
Nicolas Alexander Schmidt
ea734671e2
Fixed typo. 2021-05-06 18:11:19 +02:00
Denis Merigoux
8ab7362793
Update syntax guide recommendation 2021-05-04 17:53:31 +02:00
Denis Merigoux
144046b9c5
Merge pull request #111 from AltGr/localised-builtins 
Remove parser tokens for builtin functions
 2021-05-04 17:53:03 +02:00
Louis Gesbert
95ea020ff2 Remove surface/ast.mli 
The visitor library [doesn't support generating
interfaces](http://gallium.inria.fr/~fpottier/visitors/manual.pdf#subsection.2.4);
keeping the mli isn't really a great idea either because, while we could
generate it once, updating it on every AST change is too cumbersome.

This also moves the few doc comments back to the .ml file.
 2021-05-03 18:13:30 +02:00
Louis Gesbert
c5a9800ca8 Add a tiny guide on adding new builtins 2021-05-03 17:44:37 +02:00
Louis Gesbert
6d9cea6943 No need for first-class modules 2021-05-03 17:06:08 +02:00
Louis Gesbert
1e6eb9e6b4 Fix parser for builtins 
Oops ;)
 2021-04-30 19:14:51 +02:00
Louis Gesbert
a1468e3cde Parser: fail on use of builtin as ident 
This doesn't feel completely satisfying, maybe the localisation definition
should directly extend the parser to make that detection part of the state
machine, but this complexifies the parser definitions a lot.

Or the check could be done during typing, but meh. Maybe this one is a good
compromise...
 2021-04-30 18:58:02 +02:00
Louis Gesbert
7e9ec54947 Pass the localised builtins as parameters to the parser 2021-04-30 18:58:02 +02:00
Louis Gesbert
6ca3b2f18a Separate token definitions from the parser 2021-04-30 18:58:02 +02:00
Louis Gesbert
b79eb11c7f Factorise the localised lexers interfaces 2021-04-30 18:58:02 +02:00
Denis Merigoux
d69f1a4a39
Fixes #107 2021-04-29 17:46:56 +02:00
Denis Merigoux
3f5e423e9f Revert to old system... Trying to please dune gods is hard 2021-04-29 17:05:53 +02:00
Denis Merigoux
54a7daa1ab
Added missing dune deps 2021-04-29 16:50:23 +02:00
Denis Merigoux
2333dbdd6f
Merge pull request #110 from CatalaLang/dune_changes 
Big dune and published libraries reorganization
 2021-04-29 16:36:35 +02:00
Denis Merigoux
bd8a53e26c New attempt 2021-04-29 16:29:59 +02:00
Denis Merigoux
4f2b0e26c9
Typo 2021-04-29 16:23:41 +02:00
Denis Merigoux
7446b1fe57
Reorganized public libraries 2021-04-22 17:57:27 +02:00
Denis Merigoux
2cad9823f7
Update after pair programming session on allocations familiales 
Reviewers: Liane Huttner, Wissem Haddag, Marie Moy, Anastasia de Chanaud, Athénaïs Giscard d'Estaing
 2021-04-14 23:00:46 +02:00
Denis Merigoux
9fc3007fc6 Simple procedure to get latest catala 2021-04-13 18:35:04 +02:00
Denis Merigoux
5015ced7c1 Reexposed all modules in lib 2021-04-13 15:38:08 +02:00
Denis Merigoux
db66fc0dc2 Added error if no scope 2021-04-13 15:22:25 +02:00
Denis Merigoux
65bb3b20dc
Update assets 2021-04-12 00:23:41 +02:00
Denis Merigoux
e7d93a3020 Added last decret to cover 2021 2021-04-12 00:22:15 +02:00
Denis Merigoux
8af57e7939 Fix code generation corner case 2021-04-09 09:42:47 +02:00
Denis Merigoux
a1296a75c8
Embedding for structs/enums/arrays 2021-04-08 23:23:10 +02:00
Denis Merigoux
9b9b3cd390
Merge branch 'master' of github.com:CatalaLang/catala 2021-04-07 21:18:23 +02:00
Denis Merigoux
bc00f08233
Removed erronerous structural check for enum equality 2021-04-07 21:17:13 +02:00
Denis Merigoux
beea36d5bb
Merge pull request #104 from EmileRolley/alt_logo 
Alternative logo and file icon
 2021-04-07 14:22:39 +02:00
Denis Merigoux
7d05ee5d2a Cleaned dune project and opam files 2021-04-06 21:43:10 +02:00
EmileRolley
a594220313 docs(images): add file icons 2021-04-06 11:56:02 +02:00
EmileRolley
188324a361 docs(images): add an alternative logo 2021-04-06 10:37:30 +02:00
Denis Merigoux
c8f354d327 JS embedding starting to work 2021-04-05 19:06:32 +02:00
Denis Merigoux
8b5f14f1e6
Create runtime value embedding system 
Dummy for now but will be extended
 2021-04-04 16:57:59 +02:00
Denis Merigoux
a051c5746e Removed temp code 2021-04-04 00:20:51 +02:00
Denis Merigoux
6e122da489
Cheap hack to get logged values 
Will not be sufficient, we need a deep embedding
 2021-04-04 00:12:05 +02:00
Denis Merigoux
33f781c3b5 Update tests with better error message 2021-04-03 19:35:59 +02:00
Denis Merigoux
eaeebba72c
Basic logging exposed in Javascript 
Lacks value embedding though
 2021-04-03 19:31:38 +02:00
Denis Merigoux
14edecb92d Logging into OCaml backend 2021-04-03 17:58:31 +02:00
Denis Merigoux
eaf00d34df Added .mlis 2021-04-03 17:01:27 +02:00
Denis Merigoux
b24573d4cf Cleaned up erroronempty, peephole optimizations done 2021-04-03 15:07:49 +02:00