Alain
cf43e3d87c
add generic identity optimization helper
...
peephole transform using generic transformation
add iota reduction as an optimization
2021-11-29 17:40:13 +01:00
Alain
c2db3a40c6
ref: use of built-in match instead of matchopt (wip)
2021-11-26 17:10:31 +01:00
Alain
3bc71e8c43
modification to take into account the prevous commit
2021-11-25 18:55:23 +01:00
Alain
fcdaa21d54
add utilities that replace to deal with options
2021-11-25 17:27:06 +01:00
Alain
7ec067c6ec
added mockup of eoption in the ocaml runtime
2021-11-25 17:27:03 +01:00
Alain
3d2f9635e9
add marking in the position utils. This replace the internal-based model to create new positions
2021-11-25 17:26:13 +01:00
Denis Merigoux
7d3e381d45
Improvements with Alain during weekly meeting
2021-11-24 15:51:49 +01:00
Denis Merigoux
fb281a0d99
Formatting
2021-11-24 15:22:29 +01:00
Alain
949df1cd33
the translation executes correctly, but the result is totally unreadable
2021-11-24 11:01:45 +01:00
Alain
08b38472e2
found a bug inside the match translation.
2021-11-22 15:55:21 +01:00
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
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
