Tiger In AG

The Tiger in AG compiler is a parser and type checker for Andrew Appel's Tiger language. It has been developed as an example of the use of the Attribute Grammar system and the UPC: Utrecht Parser Combinators.

Download and Installation

The source code of the Tiger compiler can be found in the CVS repository.

The compile the Tiger compiler you need the following:

• GHC or other Haskell compiler
• uust libraries(parser combinators, etc.)
• Attribute Grammar system
• optionally: Alex >= 2.0

The Tiger compiler's lexical analyser was made using Alex a scanner generator for Haskell. The generated scanner is included in the sources, so you only need Alex in case you want to make changes to the lexical analyser.

The sources of the Tiger compiler, the uust libraries, and the Attribute Grammar system are all part of the uust package. You can get the uust package using anonymous checkout:

cvs -d:pserver:anonymous@cvs.cs.uu.nl:/data/cvs-rep login
cvs -d:pserver:anonymous@cvs.cs.uu.nl:/data/cvs-rep checkout uust

Compiling the Tiger compiler

After installing the uust package, descend into the directory uust/tools/ag/examples/tiger. To configure, simply edit the variables in the beginning of the makefile, and type make at the command line. This results is an executable named tiger. To test your Tiger compiler run it on the examples in the testcases directory.

Feedback

I hope this software is useful to you. If you have any comments or questions do not hesitate to contact Arthur Baars.