Compiler Utilities

This project collects together a bunch of utility modules and code-generation tools that I've used over the years in various compiler projects. The code is written in Standard ML (as are the tools) and assumes the presence of the SML/NJ library.

Roadmap

The code is organized into two subdirectories: libsrc, which contains the various SML utility modules, and tools, which contains some code generation tools.

Libraries

• CodeTemplates -- Infrastructure for supporting textual code snippits with substitutions. This code supports the Make Fragments tool descrbied below.

• Constant arithemetic -- Infrastructure for constant-folding integer arithmetic at different precisions.

• Errors -- error tracking for ML-LPT based parsers

• Floats -- A representation of floating-point literals plus support for converting to IEEE binary representations.

• Logging -- Utility code for log messages and for timing compiler phases.

• Stamps -- unique stamps for tagging identifiers and other semantic objects

Tools

• MakeFragments -- This directory contains tools for converting source-code fragments into SML string constants in an SML module.