MLton 20070826 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

[WWW]machine.sig [WWW]machine.fun

Type Checking

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

[WWW]machine.sig [WWW]machine.fun

Details and Notes


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