MLton 20051202

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 2005-12-01 19:27:42 by StephenWeeks.