15 Commits

Author	SHA1	Message	Date
Louis Gesbert	e47a1fc220	Improve translation of typing upon dcalc -> lcalc ... A little bit of effort enables us to propagate valid typing annotations, making subsequent typing re-inference easier (and avoiding a traversal just to remove type annotations)	2024-01-31 19:15:27 +01:00
adelaett	4d3b021eef	finished the implementation, but a few issues are missing	2023-03-13 16:51:06 +01:00
adelaett	2a222f0aab	changed nix dependency from ocamlformat 24.1 to 21.0	2023-02-27 11:20:59 +01:00
adelaett	e765ee8a0c	requesting to have a typed tree	2023-02-27 11:20:59 +01:00
adelaett	44ce5a636b	fix tentative for functions applications	2023-02-27 11:20:59 +01:00
Louis Gesbert	4eb5933ad0	Porting the interpreter to the marked AST	2022-07-11 17:42:30 +02:00
Louis Gesbert	67179a793c	Add type annotations on all AST nodes (first pass)	2022-07-11 16:51:54 +02:00
Denis Merigoux	5bd66142a6	Big reformatting ... ocamlformat 0.19.0 -> 0.20.1 100 -> 80 columns per line Reestablished @emilerolley's smart fun break	2022-03-08 15:03:14 +01:00
Alain	5c9996e427	more comment	2022-02-18 15:59:35 +01:00
Alain	d512b27e2c	fmt	2022-02-18 15:49:23 +01:00
Alain	7e1057c541	review of lcalc	2022-02-18 15:47:54 +01:00
Alain	80fa3110eb	documentation + finished translating cut to hoist + copyright inside the compile_without_exceptions	2022-02-12 08:08:13 +01:00
Denis Merigoux	a06dfbfaa5	Assets and formatting	2022-02-04 15:29:31 +01:00
Alain	d9fbe4b499	use external pp in compile_without_exceptions ... better error messages fixed make_matchopt_with_abs_arms fixed license few documentation	2022-02-04 14:32:12 +01:00
Alain	41a8961285	tentative, trying something else	2021-11-22 15:55:21 +01:00