Machine is an IntermediateLanguage, translated from RSSA by ToMachine and used as input by the Codegen.


Machine is an Untyped IntermediateLanguage, corresponding to a abstract register machine.


Type Checking

The Machine IntermediateLanguage has a primitive type checker (machine.sig,, which only checks some liveness properties.

Details and Notes

The runtime structure sets some constants according to the configuration files on the target architecture and OS.