Machine - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | Machine |
Home Index

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

## Description

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

## Implementation

machine.sig machine.fun

## Type Checking

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

machine.sig machine.fun

## Details and Notes

Last edited on 2006-11-02 17:45:41 by MatthewFluet.