Denis Merigoux 9c6a126af3 Update formatting		2023-01-07 18:38:02 +01:00
..
common.catala_en	Add a few tests on typing errors	2022-09-15 17:28:05 +02:00
err1.catala_en	Tweak error message location printing	2022-11-28 16:38:09 +01:00
err2.catala_en	Add overloaded operators for the common operations	2022-12-13 11:55:24 +01:00
err3.catala_en	Remove integer division from the language	2022-12-13 12:35:02 +01:00
err4.catala_en	Tweak error message location printing	2022-11-28 16:38:09 +01:00
err5.catala_en	Add typing-based disambiguation pass after desugaring	2022-11-28 16:38:09 +01:00
err6.catala_en	Refactor the parser to use priorities	2022-12-19 15:12:53 +01:00
err6.ml	Update formatting	2023-01-07 18:38:02 +01:00