MLton MLTONWIKIVERSION

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

ast-programs.sig ast-programs.fun
ast-modules.sig ast-modules.fun
ast-core.sig ast-core.fun
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.