MLton 20210117

# Machine

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

## Description

Machine is an Untyped IntermediateLanguage, corresponding to an abstract machine with an infinite number of temporaries.

## Implementation

- machine.sig

- machine.fun

## Type Checking

The Machine IntermediateLanguage has a primitive type checker (machine.sig, machine.fun), 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.