MLton 20070826 AST
Home  Index  
AST is the IntermediateLanguage produced by the FrontEnd and translated by Elaborate to CoreML.

Description

The abstract syntax tree produced by the FrontEnd.

Implementation

[WWW]ast-programs.sig [WWW]ast-programs.fun
[WWW]ast-modules.sig [WWW]ast-modules.fun
[WWW]ast-core.sig [WWW]ast-core.fun
[WWW]ast

Type Checking

The AST IntermediateLanguage has no independent type checker. Type inference is performed on an AST program as part of Elaborate.

Details and Notes


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