Commit Graph

126 Commits

Author SHA1 Message Date
EmileRolley
4e168eff64 feat(lexer): update the polish lexer to support grave accent outside code blocks 2021-05-24 16:23:45 +02:00
EmileRolley
d00ba4740f feat(tests): modify the .out rule of the Makefile in order to manage other input file syntax than the abbrieviated one 2021-05-24 15:54:27 +02:00
EmileRolley
c317332218 tests(lexer): add tests for the literate programming 2021-05-24 15:54:27 +02:00
EmileRolley
4e6e532ce8 feat(lexer): allows to use '`' inside law text 2021-05-24 15:54:27 +02:00
Denis Merigoux
3c8d187be0
Big refactoring of the literate programming structure
Partially fixes #120
Removes the distinction between headers and articles, streamlines the surface AST
Changes affects lexers and parser
2021-05-15 01:16:08 +02:00
Denis Merigoux
147e35083e
Point directly to executable instead of dune exec 2021-05-14 18:44:06 +02:00
Denis Merigoux
d69f1a4a39
Fixes #107 2021-04-29 17:46:56 +02:00
Denis Merigoux
33f781c3b5 Update tests with better error message 2021-04-03 19:35:59 +02:00
Denis Merigoux
c4fc0ff622
Merge branch 'master' into xor 2021-03-19 16:23:35 +01:00
Denis Merigoux
896a83db4a
Fix test output 2021-03-17 19:43:36 +01:00
EmileRolley
8f9ec2b623 fix: update all ASTs and the interpreter in order to support the 'xor' operand 2021-03-16 20:34:03 +01:00
EmileRolley
f507620462 feat(catala_nv): add the xor operator 2021-03-16 18:34:59 +01:00
EmileRolley
b40abce52f refactor(tests): change the date format to ISO 2021-03-16 12:10:33 +01:00
Denis Merigoux
d26bef400b
Fix #47 2021-03-12 17:07:25 +01:00
EmileRolley
3f88dbe2ae fix(tests): modify some of the expected test outputs because of removed trailling whitespaces 2021-03-09 22:08:55 +01:00
EmileRolley
c0a9344eca refactor(tests): update tests based on the abbreviated english lexer 2021-03-09 22:07:31 +01:00
Denis Merigoux
3dcba2fede Speed up compilation using batch let bindings 2021-02-01 23:35:15 +01:00
Denis Merigoux
5c5dbc542f Js version of Allocations familiales 2021-02-01 20:09:16 +01:00
Denis Merigoux
d88ccc38f6 Switched scope functions input to struct instead of many arguments 2021-02-01 15:57:19 +01:00
Aymeric Fromherz
fec4334b49 Allow fully qualified enum names in matches 2021-01-26 11:41:20 -05:00
Aymeric Fromherz
2e71cc503c Fix typo in grammar 2021-01-26 10:47:48 -05:00
Aymeric Fromherz
f154ec15ad Add support for fully qualified enum elements 2021-01-26 10:38:10 -05:00
Aymeric Fromherz
e1ac9564c2 Add a few tests for fully qualified struct accesses 2021-01-25 23:08:30 -05:00
Aymeric Fromherz
ec1695e41e Add failing test for ambiguous struct fields 2021-01-25 22:31:48 -05:00
Aymeric Fromherz
736f74d4f0 README 2021-01-25 01:17:43 -05:00
Aymeric Fromherz
ba03d2db78 Move tests to appropriate folders 2021-01-25 01:16:46 -05:00
Aymeric Fromherz
2bc56f5c92 Modify Makefile to have output folder in subdirectory of good or bad 2021-01-25 01:09:51 -05:00
Aymeric Fromherz
e63bdf0634 More precise pattern matching when looking for source file in test framework 2021-01-23 20:57:31 -05:00
Aymeric Fromherz
5823c2ec3f update test README 2021-01-23 20:51:30 -05:00
Aymeric Fromherz
483400ea19 Move tests to their appropriate directory 2021-01-23 20:49:17 -05:00
Aymeric Fromherz
20d4a8ed6f Change tests Makefile to separate between good and bad tests 2021-01-23 20:26:10 -05:00
Aymeric Fromherz
339b6174d2 Add test for unlabeled exceptions in different code blocks 2021-01-21 23:48:08 -05:00
Aymeric Fromherz
216bd87991 Improve unlabeled exceptions: Default definitions and unlabeled exceptions in the same scope can now be defined in different code blocks 2021-01-21 23:47:48 -05:00
Denis Merigoux
d486494177 Merge branch 'master' into visitors_and_positions 2021-01-21 21:10:22 +01:00
Aymeric Fromherz
6f64e4411e Add tests for unlabeled exceptions + better error message when there is no default definition 2021-01-21 00:15:37 -05:00
Denis Merigoux
3e57fe0276 Enhanced log with explanations of which definition is taken 2021-01-20 19:58:48 +01:00
Denis Merigoux
4d1d3a2e1c Reset tests 2021-01-20 19:21:02 +01:00
Denis Merigoux
19a6a171bd Fixes #65 2021-01-18 16:21:55 +01:00
Denis Merigoux
a6338c3a9c Typos 2021-01-16 18:06:22 +01:00
Denis Merigoux
c562cc25be Fixed date/month US inversion 2021-01-14 13:13:32 +01:00
Denis Merigoux
852a6412eb Changed odate to calendarLib 2021-01-14 13:04:15 +01:00
Denis Merigoux
267baea28d Fixes #58 2021-01-14 00:17:24 +01:00
Denis Merigoux
6787d5b882 Fixes the exception tree building algorithm 2021-01-13 19:07:35 +01:00
Denis Merigoux
44d7b616a4 Improve type error messages 2021-01-13 12:04:14 +01:00
Denis Merigoux
ea117d1816 Added exceptions tests 2021-01-11 15:29:02 +01:00
Denis Merigoux
e5c6a196e2 Added filter and map operators 2021-01-10 18:11:46 +01:00
Denis Merigoux
f51d8833c7 Implement argmin and argmax 2021-01-10 17:07:41 +01:00
Denis Merigoux
9c795b5010 Fixed typing error 2021-01-06 18:42:22 +01:00
Nicolas Chataing
5aa0e391ff Add a fail test 2021-01-06 17:23:58 +01:00
Nicolas Chataing
5038b75da1 Implement quick pattern check desugaring 2021-01-06 17:04:46 +01:00