Alain
f75341c44f
making options default compilation target
2021-11-22 15:55:21 +01:00
Alain
53b40121ad
should be ok, without handling the types
2021-11-22 15:55:21 +01:00
Alain
0f5fde2c5a
advancing
2021-11-22 15:55:21 +01:00
Alain
41a8961285
tentative, trying something else
2021-11-22 15:55:21 +01:00
Alain
a24a4ab6df
starting to work on type inference
2021-11-22 15:55:21 +01:00
Alain
6fdd739f54
saving my work somewhere
2021-11-22 15:55:21 +01:00
Denis Merigoux
5ab64d9280
Merge pull request #155 from lIlIlIlIIIIlIIIllIIlIllIIllIII/feat/nix-support
...
tentative nix support
2021-11-09 15:19:32 +01:00
Alain
41146e836d
fix: change nix channel to build against.
2021-11-09 15:09:28 +01:00
Alain
a10a140941
fix: typo
2021-11-09 15:01:18 +01:00
Alain
5e6215bd45
feat: add nix workflow for github actions
2021-11-09 14:53:58 +01:00
Denis Merigoux
eccc5e9816
Push citation file
2021-11-08 09:26:35 +01:00
Denis Merigoux
22cd03c466
Bumping version numbers and fixing 0.5.0 build
2021-11-07 11:00:46 +01:00
Denis Merigoux
485d093b7e
Bump Catala version number
2021-11-07 01:38:17 +01:00
Denis Merigoux
4406ff6690
Update all APIs in various languages
2021-11-07 00:53:14 +01:00
Denis Merigoux
cbee66db24
Added Mayotte computation to allocations familiales
2021-11-07 00:39:12 +01:00
Denis Merigoux
a171e8aaed
Fixed title hierarchy in allocations familiales
2021-11-06 23:38:43 +01:00
Denis Merigoux
1d0ef3cf70
Better error message and correctly format desugaring.ml
2021-11-06 23:16:58 +01:00
Denis Merigoux
56baf91923
Remove prefixes to each line in messages, keep only first line
2021-11-06 23:04:12 +01:00
Denis Merigoux
1a8b5716de
Closes #151
...
Add pygmentize to the list of executables to be present
2021-11-06 22:29:19 +01:00
Denis Merigoux
d56c31f5b4
Fix Makefile imprecision
2021-11-06 21:57:25 +01:00
Denis Merigoux
aee7565e15
Bump OCaml compiler version for CI
2021-11-06 21:54:27 +01:00
Alain
0605f85c95
doc: Adds documentation about building and developing using nix
2021-10-29 15:19:17 +02:00
Alain
bba896c949
style: Formatting
2021-10-29 15:17:26 +02:00
Alain
cfcc454022
feat: initial nix support
2021-10-29 14:45:05 +02:00
Denis Merigoux
2c0e8a7864
x10 performance on Catala compilation & interpretation
...
Cleaner rewriting of main let-binding chaining procedure from Scopelang to Dcalc
Removed costly unboxing in DCalc.Ast.make_let_in seemed to do the trick
2021-10-28 15:24:39 +02:00
Denis Merigoux
a271d96b3a
Remove glitch in HTML literate output
2021-10-25 10:12:42 +02:00
Denis Merigoux
cf31da7ca1
Remove limitation on Zarith since https://github.com/janestreet/zarith_stubs_js/pull/8 is closed
2021-10-18 09:58:47 +02:00
Denis Merigoux
8dbf034efc
Update generated assets
2021-10-11 17:41:20 +02:00
Denis Merigoux
6084b9acb3
Merge pull request #154 from edwintorok/spelling
...
Fix spelling and outdated syntax reference in tutorial_en
2021-10-11 17:27:15 +02:00
Denis Merigoux
3d9c125ce5
More doc
2021-10-11 14:55:50 +02:00
Denis Merigoux
1b1625bc1e
Fix French spelling
2021-10-11 14:40:44 +02:00
Edwin Török
c454c0531a
examples/tutorial_en: be explicit about @ and ^ symbols
...
Use both their verbose name and symbols to make it obvious what they
refer to.
Signed-off-by: Edwin Török <edwin@etorok.net>
2021-10-10 16:05:00 +01:00
Edwin Török
ee03af4afc
examples/tutorial_en: headers are prefixed with # not @
...
Since a42d0c7728
# is used.
Signed-off-by: Edwin Török <edwin@etorok.net>
2021-10-10 16:03:56 +01:00
Edwin Török
c201fee6b8
examples/tutorial_en: fix spelling
...
paragrah -> paragraph
analyse -> analyze
formulae -> formulas
substraction -> subtraction
adresses -> addresses
mentionned -> mentioned
conditionnally -> conditionally
explicitely -> explicitly
datatypes -> data types
Signed-off-by: Edwin Török <edwin@etorok.net>
2021-10-10 15:56:07 +01:00
Edwin Török
3eddaae882
examples: add a %.spellok helper to check spelling
...
Usage:
`make -C examples/tutorial_en tutorial_en.spellok`
This will output a list of incorrect words (which should be empty).
Catala-specific words (or uncommon words missing from the default aspell dictionary) can be added to examples/whitelist.<lang>
Signed-off-by: Edwin Török <edwin@etorok.net>
2021-10-10 15:56:07 +01:00
Denis Merigoux
5000417279
Update syntax reference
2021-10-01 16:31:50 +02:00
Denis Merigoux
65fa4b3c58
Merge pull request #150 from EmileRolley/refactor-metadata-markup
...
Refactor: new metadata markup, fixes #150
2021-10-01 16:28:36 +02:00
EmileRolley
50901fbb0c
refactor(syntax-highlighting): support the new catala-metadata markup
2021-10-01 15:52:45 +02:00
Emile Rolley
9aaa614410
refactor(parser): add the new catala-metadata markup
2021-10-01 10:01:25 +02:00
Denis Merigoux
8c7d538cfb
Merge pull request #146 from CatalaLang/jemsab_4b
...
add legislative text (new version from #68 )
2021-09-28 12:11:26 +02:00
Denis Merigoux
b72d8e09ee
Restore typechecking version of CGI example
2021-09-28 12:01:08 +02:00
Denis Merigoux
caf42f3445
Merge branch 'master' into jemsab_4b
2021-09-28 11:52:09 +02:00
Denis Merigoux
4019fa2b3e
Merge pull request #142 from govlab-org/feature/dockerfile
...
Add a Dockerfile for builds
2021-09-27 21:18:10 +02:00
Jean-Marc Le Roux
40180df85d
Document how to build using Docker
2021-09-27 21:06:14 +02:00
Jean-Marc Le Roux
f05b8df50f
Add a Dockerfile for builds
2021-09-23 17:08:52 +02:00
Denis Merigoux
0021c2c8e6
Merge pull request #139 from AltGr/fact-lexers
...
Factorise lexer translations
2021-08-23 14:36:49 +02:00
Denis Merigoux
577bfe67a5
Added dependencies at other places
2021-08-23 14:24:39 +02:00
Louis Gesbert
dc026d0a7f
I was still unhappy with the remaining duplication
...
that and the double-matching with different kinds of regexps; it should be more
robust now.
2021-08-20 14:23:10 +02:00
Louis Gesbert
e7ad186bd7
Document adding new languages
2021-08-20 12:26:45 +02:00
Louis Gesbert
dfb358993c
Small fix
2021-08-19 20:41:34 +02:00