As a result of various changes in the Flambda language, fixes will be required throughout Flambda_to_clambda. This includes adaptations to compile the new Flambda_static terms.
This work also needs to include a large chunk relating to primitives. The code needs adapting to the new primitive types; then the necessary primitives for the unboxed/untagged operations need to be added to Lambda.primitive and compiled out in Cmmgen. It may be worth considering whether there should be a separate type of primitives for the backend.
As a result of various changes in the Flambda language, fixes will be required throughout Flambda_to_clambda. This includes adaptations to compile the new
Flambda_static
terms.This work also needs to include a large chunk relating to primitives. The code needs adapting to the new primitive types; then the necessary primitives for the unboxed/untagged operations need to be added to
Lambda.primitive
and compiled out inCmmgen
. It may be worth considering whether there should be a separate type of primitives for the backend.