7 commits

Author	SHA1	Message	Date
Théophile Bastian	c84a1ac169	Fix: recursive functions correctly defunctionalized	2018-02-16 01:29:01 +01:00
Théophile Bastian	29a2ef43a1	Fix: self is no longer considered free var ... For recursive functions, the self-reference was considered a free variable wrt. defunctionalization	2018-02-16 01:13:06 +01:00
Théophile Bastian	3141ce6fde	Implement IfZero everywhere, untested	2018-02-16 00:43:44 +01:00
Théophile Bastian	7bc7921fc3	Add IfZero in the syntax + placeholders ... Also add (* TODO ifzero *) all around as placeholders	2018-02-16 00:19:44 +01:00
Théophile Bastian	4419abf57d	Fix free vars of a lambda in Defun	2018-01-29 15:46:34 +01:00
Théophile Bastian	2e5e691cfe	First try for defun, produces bad code ... Block variables accessed out of scope	2018-01-22 12:29:59 +01:00
Théophile Bastian	3b5c4cb996	Keep only project-related files; reroot to project/	2017-12-19 13:35:04 +01:00

Renamed from project/src/Defun.ml (Browse further)