Louis Gesbert c01d4ac512 Fix exception positions being lost during translation/optimisations ... Positions within the Default terms are specially important since they can come from separate definitions in the source (before this, we would be falling back to the single declaration).		2024-04-30 17:56:06 +02:00
..
catala_utils	Pass exception positions to the HandleDefault operators	2024-04-29 16:09:38 +02:00
dcalc	More precise positions for operators throughout	2024-04-30 16:35:08 +02:00
desugared	More precise positions for operators throughout	2024-04-30 16:35:08 +02:00
lcalc	More precise positions for operators throughout	2024-04-30 16:35:08 +02:00
literate	Rewriting message calls to use the new intf	2024-04-10 19:26:23 +02:00
plugins	More precise positions for operators throughout	2024-04-30 16:35:08 +02:00
scalc	More precise positions for operators throughout	2024-04-30 16:35:08 +02:00
scopelang	Fix exception positions being lost during translation/optimisations	2024-04-30 17:56:06 +02:00
shared_ast	More precise positions for operators throughout	2024-04-30 16:35:08 +02:00
surface	More precise positions for operators throughout	2024-04-30 16:35:08 +02:00
verification	More precise positions for operators throughout	2024-04-30 16:35:08 +02:00
catala_web_interpreter.ml	Rewriting message calls to use the new intf	2024-04-10 19:26:23 +02:00
catala.ml	replace let _ by let () or add type annotation	2023-09-09 22:02:39 +02:00
driver.ml	QoL: guess the scope and make suggestions on 'interpret' command	2024-04-30 17:55:55 +02:00
driver.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
dune	CI: cleanup the exposed artifacts	2024-01-22 13:58:32 +01:00
index.mld	More doc	2023-06-18 16:08:16 +02:00
plugin.ml	Rewriting message calls to use the new intf	2024-04-10 19:26:23 +02:00
plugin.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
tests.ml	Generalise the definition of lists of nested binders	2024-02-09 18:33:41 +01:00