Programatica Tools

Directory tools/base

Extensible Haskell front-end for the Programatica project

What is in this directory (base)

This directory contains the code that deals with the base language, i.e., more or less Haskell 98. It is structured to allow most of the code to be reused without changes in extended versions of the language.

Obsolete subdirectories

parse, SA, TC

Active subdirectories

AST

nonrecursive data structures for the abstract syntax (reusable in extensions),

syntax

knot-tying recursive definitions for the base language (not reusable in extensions),

parse2

Happy parser (not reusable), lexer, lexer generator. The lexer is described in A Lexer for Haskell in Haskell.

Modules

implementation of Haskell's module system, as described in the paper A Formal Specification for the Haskell 98 Module System,

defs

defined names, free names, mapping over names, scoping information, infix operator reassociation (both reusable parts and knot-tying parts for the base language),

TI

type checker (both reusable parts and knot-tying parts for the base language),

pretty

library of pretty printing combinators,

lib

general library modules (does not depend on anything else here),

transforms

Source level transformations (e.g., pattern match simplification). Generation of code for derived instances.

tests

test input,

tests/HaskellLibraries

Haskell 98 Prelude and Standard Libraries, with some minor changes to make them go through our type checker. (This is now an important part of our tools and doesn't belong in the test subdirectory anymore!)