search

OCamlPro / flambda-task-force

13 stars 1 forks source link

Translate Lambda primitives to Flambda_primitive.t #180

Open mshinwell opened 6 years ago

mshinwell commented 6 years ago

This translation needs doing during Closure_conversion. It will also be necessary to expand all of the primitives operating on boxed numbers or tagged integers into the relevant composition of (un)boxing/(un)tagging operations in conjunction with the primitives working on naked representations.

mshinwell commented 6 years ago

Update: untagged integers have been dropped at least for the first version of CPS-flambda, as the benefit isn't clear, and it's going to involve a lot of churn for primitives. However the work described above still needs doing for the boxed numbers.