Commit graph

110 commits

Author SHA1 Message Date
450595ab57 Add complicated recursion and nesting -- fail 2018-02-16 01:40:23 +01:00
c84a1ac169 Fix: recursive functions correctly defunctionalized 2018-02-16 01:29:01 +01:00
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
6f75134474 Add test rec_factorial (computes 7!) -- fails 2018-02-16 01:09:21 +01:00
ca790364b6 Add test if_func_branch 2018-02-16 00:59:39 +01:00
faa31d90dd Add test if_func 2018-02-16 00:56:35 +01:00
7c6e2e390e Fix C code production, add ifzero basic test 2018-02-16 00:52:07 +01:00
3141ce6fde Implement IfZero everywhere, untested 2018-02-16 00:43:44 +01:00
2a65d41cd8 Add IfZero construct to lexer + parser 2018-02-16 00:21:29 +01:00
7bc7921fc3 Add IfZero in the syntax + placeholders
Also add (* TODO ifzero *) all around as placeholders
2018-02-16 00:19:44 +01:00
b00976d359 Fix scope error in CPS application 2018-02-15 22:43:15 +01:00
38148932f7 Fix pretty printer line breaks at toplevel 2018-02-15 22:28:26 +01:00
324e32c15e Add option --light-debug 2018-02-15 22:19:14 +01:00
6c5580d550 Explicit exit continuation's name 2018-02-15 22:02:04 +01:00
2643118045 Add pretty printer for Top 2018-02-15 22:01:46 +01:00
67701ea721 Refactor PrettyTail parts into PrettyCommon 2018-02-15 22:01:14 +01:00
3262846faf Add human-readable pretty printer for Tail 2018-02-15 21:26:15 +01:00
4ec822cfda Add test simple_call 2018-02-15 19:46:16 +01:00
438a875cea Attempt to have better variable names in CPS 2018-01-29 15:46:53 +01:00
4419abf57d Fix free vars of a lambda in Defun 2018-01-29 15:46:34 +01:00
2e5e691cfe First try for defun, produces bad code
Block variables accessed out of scope
2018-01-22 12:29:59 +01:00
d0ff07998f Prevent IDs in variables from being trimmed 2018-01-18 16:03:29 +01:00
6619941770 First attempt to implement CPS naively 2018-01-17 17:15:23 +01:00
3b5c4cb996 Keep only project-related files; reroot to project/ 2017-12-19 13:35:04 +01:00
a6a49201be Merge remote-tracking branch 'upstream/master' 2017-12-19 13:34:12 +01:00
8ea0250e67 Initial commit 2017-12-19 13:30:32 +01:00
REMY Didier
6055421bdc Merge branch 'master' of gitlab.inria.fr:fpottier/mpri-2.4-public 2017-12-19 09:55:27 +01:00
REMY Didier
407f13862b Partiel 2017 2017-12-19 09:55:02 +01:00
François Pottier
00ebc63544 Rename projet to project. 2017-12-13 14:10:41 +01:00
François Pottier
36df95f02f Makefile. 2017-12-13 14:09:19 +01:00
François Pottier
4de6bf8544 README update. 2017-12-13 14:08:29 +01:00
François Pottier
19ff31e4c9 Publish the project. 2017-12-13 14:04:28 +01:00
Yann Regis-Gianas
0ee19236b0 Slides cours YRG-1. 2017-12-13 10:26:29 +01:00
Yann Regis-Gianas
ea28092e57 Update part 3 syllabus. 2017-12-01 09:50:28 +01:00
REMY Didier
61142fa289 12<-1 2017-11-29 16:28:14 +01:00
REMY Didier
20664156ac Remove pointer to my own page. 2017-11-23 18:06:30 +01:00
REMY Didier
f36225d1f5 Correction de l'ancre pour l'examen de 2010 2017-11-14 16:46:09 +01:00
REMY Didier
ade3a69b24 Removing comment 2017-11-10 08:10:59 +01:00
REMY Didier
8d9111b95e Removing blank line 2017-11-10 08:04:53 +01:00
REMY Didier
828f05db8b Change of topic for lesson 4 2017-11-09 22:45:38 +01:00
REMY Didier
a76342ee27 Merge branch 'master' of gitlab.inria.fr:fpottier/mpri-2.4-public 2017-11-09 22:42:13 +01:00
REMY Didier
739d28c3da Cours 4. 2017-11-09 22:41:47 +01:00
François Pottier
471edc10c5 Fix a couple issues in the slides of amphi 05. 2017-11-07 10:29:12 +01:00
REMY Didier
da4900bdf5 handout 2017-11-01 17:34:39 +01:00
REMY Didier
c8961ac162 Exams, dates and documents allowed. 2017-10-31 10:03:09 +01:00
REMY Didier
0f340ed1fd lecture 3 2017-10-29 16:50:40 +01:00
REMY Didier
aee8182a5c Anchor for Lecture 3. 2017-10-29 16:48:50 +01:00
REMY Didier
50b685a8d6 Anchor for lecture 3. 2017-10-29 16:44:50 +01:00
REMY Didier
bacf138196 fixing ). 2017-10-29 16:43:39 +01:00
REMY Didier
1f4d3ff456 Adding anchors lecture 2 of Remy's course 2017-10-29 16:42:23 +01:00