## MLton 20241230+git20251029+dfsg-5

# 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.