3507 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Louis Gesbert	3cf64edb39	Vastly improve the printer (#450)	2023-04-13 18:46:34 +02:00
Louis Gesbert	e19e4af12d	Vastly improve the printer ... * fix lots of Format boxes * add parens based on precedence in the printer * fix interaction of Format and the colored line debug tags	2023-04-13 18:15:22 +02:00
Denis Merigoux	7b1b3f2968	Adding an interpreter to lcalc (#432)	2023-04-12 15:11:39 +02:00
adelaett	43c1fd9b7e	adding tests	2023-04-12 11:38:12 +02:00
adelaett	cc66023e51	Thunking justifications and conclusion in avoid_translation pass	2023-04-12 10:58:21 +02:00
adelaett	83553d5950	indicate what interpreter is launched in debug mode.	2023-04-11 16:15:24 +02:00
adelaett	1a46cd8914	initialize inputs argument with default ENone value	2023-04-11 16:14:52 +02:00
adelaett	49e9846386	fix a bug in the translation	2023-04-11 16:14:25 +02:00
adelaett	0cfc446455	implementing the behavior of handle_exceptions_opt for the lcalc interpretor	2023-04-11 14:09:57 +02:00
adelaett	3e35d4b826	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-04-11 11:49:22 +02:00
Denis Merigoux	7c68af03ff	Adding an interpreter to lcalc (#432)	2023-04-07 17:15:09 +02:00
adelaett	6af7456b98	typo	2023-04-07 16:32:43 +02:00
adelaett	37b2cdf1aa	printing bindm as let*	2023-04-07 16:21:42 +02:00
adelaett	32c2c89f2d	adding ppx_expect to dependencies	2023-04-07 12:16:11 +02:00
adelaett	0e8eed7ee1	program equality function	2023-04-07 12:10:08 +02:00
adelaett	300d3b561d	fix too-many-spaces	2023-04-07 12:09:38 +02:00
adelaett	6c7ac061d4	fix identation and use new formatting functions as default	2023-04-07 11:57:14 +02:00
adelaett	618ff0518d	move printing of program & scope to the Print module	2023-04-07 11:26:10 +02:00
adelaett	12d85570e8	fix printing boxes & merge issues	2023-04-07 10:51:21 +02:00
adelaett	9b63743c2f	documentation	2023-04-07 10:49:48 +02:00
Denis Merigoux	77d6a97ddc	Formatting	2023-04-06 16:35:28 +02:00
alain	ec40de83fc	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-04-06 13:57:22 +02:00
adelaett	73423a3cb6	typo	2023-04-06 13:50:58 +02:00
adelaett	65d9ac759a	review printer	2023-04-06 13:50:48 +02:00
adelaett	0906ba025b	reviewed operator.ml	2023-04-06 13:50:34 +02:00
adelaett	5a3a6a9dc1	remove unused json ppx	2023-04-06 13:50:22 +02:00
adelaett	ed25bb2213	nobanner	2023-04-06 13:50:04 +02:00
adelaett	7ebfb2e66a	typo	2023-04-06 13:42:40 +02:00
alain	f16842b71a	add a todo	2023-04-06 13:18:33 +02:00
adelaett	7b0f1b238c	add documentation for interpret_lcalc	2023-04-06 13:09:49 +02:00
Denis Merigoux	b931101294	Update english and french tutorials (#440)	2023-04-05 21:06:41 +02:00
Denis Merigoux	89e5659500	Fix errors in the code	2023-04-05 19:15:16 +02:00
armandsalek	56818f03e6	Update examples/tutoriel_fr/tutoriel_fr.catala_fr ... Co-authored-by: Louis Gesbert <louis.gesbert@ocamlpro.com>	2023-04-05 19:15:16 +02:00
armandsalek	71f2c5c3a5	Update examples/tutoriel_fr/tutoriel_fr.catala_fr ... Co-authored-by: Louis Gesbert <louis.gesbert@ocamlpro.com>	2023-04-05 19:15:16 +02:00
armandsalek	f4f42e1297	Update examples/tutorial_en/tutorial_en.catala_en ... Co-authored-by: Louis Gesbert <louis.gesbert@ocamlpro.com>	2023-04-05 19:15:16 +02:00
armandsalek	3623261490	Update examples/tutoriel_fr/tutoriel_fr.catala_fr ... Co-authored-by: Louis Gesbert <louis.gesbert@ocamlpro.com>	2023-04-05 19:15:16 +02:00
armandsalek	f1703f4ab4	Traduction depuis la dernière version du tutoriel de l’anglais vers le français	2023-04-05 19:15:16 +02:00
armandsalek	f66c7eefde	Add an instruction and replace some mispellings	2023-04-05 19:15:16 +02:00
adelaett	75e496c62d	correct types	2023-04-05 16:35:12 +02:00
adelaett	72f6ac9f58	append lcalc to driver	2023-04-05 15:42:26 +02:00
adelaett	256c0625ff	forward -> propagate	2023-04-05 14:57:02 +02:00
Louis Gesbert	0098f00512	Yet some more small improvements to the AST encoding	2023-04-05 10:32:58 +02:00
Louis Gesbert	0c1cd481e1	Interpreter on dcalc + lcalc (the simple way) ... I made some changes in the meantime, and had to factorise e.g. the handling of the `EEmptyError` case, but this is the simple approach type-wise of making the function type for `∀ 'a. 'a —> 'a` (with `assert false` match cases), then restricting its type do `dcalc` or `lcalc` in the `.mli`.	2023-04-05 10:32:58 +02:00
Louis Gesbert	79ff776d2e	Multi-pass interperter: typing (but useless) version	2023-04-05 10:32:58 +02:00
adelaett	503cd6b1e5	implementation of the behavior	2023-04-05 10:32:52 +02:00
adelaett	06147ac5b6	typing working in the file, but does not accept ... Lcalc for some reason	2023-04-05 10:32:52 +02:00
adelaett	68e0f0a0ee	changing position of the interpreter	2023-04-05 10:32:52 +02:00
Denis Merigoux	3361612965	Overseas rules for French housing benefits (#385)	2023-04-05 09:54:21 +02:00
Denis Merigoux	1ee8d3923b	Restore Python API	2023-04-04 17:37:41 +02:00
Denis Merigoux	d63958d7da	Merge branch 'master' into aides_logement_outre_mer	2023-04-04 17:21:28 +02:00