MLton 20051202 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 2005-11-30 19:55:04 by StephenWeeks.