tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
133 commits 1 branch 0 tags 5.5 MiB
Commit graph

15 commits

Author SHA1 Message Date
Théophile Bastian 9f1e32e92c Remove wrong TODOs 2018-02-16 18:40:12 +01:00
Théophile Bastian 58cc468ca3 Clean unused values from pattern matching 2018-02-16 18:31:35 +01:00
Théophile Bastian a194e327d0 Properly handle binary operators 2018-02-16 18:31:35 +01:00
Théophile Bastian dd3c7e6786 Light CPS: cleaner error when lightening non-value 2018-02-16 18:31:35 +01:00
Théophile Bastian 804f2e7c5b Light CPS: implement lambdas 2018-02-16 18:31:35 +01:00
Théophile Bastian a7f19221d0 Lighter CPS: first tentative version 
Try to lighten the CPS transformation, using fewer continuations when
there is no need for one
 2018-02-16 18:31:35 +01:00
Théophile Bastian b0cd872baf Make NotValue more explicit 2018-02-16 15:43:01 +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 b00976d359 Fix scope error in CPS application 2018-02-15 22:43:15 +01:00
Théophile Bastian 6c5580d550 Explicit exit continuation's name 2018-02-15 22:02:04 +01:00
Théophile Bastian 438a875cea Attempt to have better variable names in CPS 2018-01-29 15:46:53 +01:00
Théophile Bastian d0ff07998f Prevent IDs in variables from being trimmed 2018-01-18 16:03:29 +01:00
Théophile Bastian 6619941770 First attempt to implement CPS naively 2018-01-17 17:15:23 +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/CPS.ml (Browse further)