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!)

Authors: various
Contact: TH