5 Commits

Author	SHA1	Message	Date
Louis Gesbert	035dff35a3	Preserve and propagate types through closure conversion ... some of the types (in particular, in hoisted closures) could not be reconstructed afterwards. This properly propagates the types, including to closure deconstruction time, giving additional insurance; and allowing monomorphisation not to choke on the result.	2024-05-30 17:00:07 +02:00
Louis Gesbert	7a4ac4364b	Mark closure conversion as untyped ... since it doesn't correctly propagate and update types. (Ideally it would, but otherwise it would be better to remove the type annotations on the fly instead of introducing wrong ones then cleaning them up).	2024-01-31 17:52:06 +01:00
Denis Merigoux	2c45ca1599	More doc	2023-06-18 16:08:16 +02:00
Louis Gesbert	7485c7f2ce	Reformat	2022-07-11 17:42:34 +02:00
Louis Gesbert	4eb5933ad0	Porting the interpreter to the marked AST	2022-07-11 17:42:30 +02:00