Tiger In AG

Center
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 [[http://www.cs.uu.nl/groups/ST/SoftwareDistributions/UU_Parsing/index.html][UPC: Utrecht Parser Combinators]]. 

---++ Download and Installation

The source code of the Tiger compiler can be found in the
[[http://cvs.cs.uu.nl/cgi-bin/cvsweb.cgi/uust/tools/ag/][CVS repository]].

The compile the Tiger compiler you need the following:
   * [[http://www.haskell.org/ghc][GHC]]  or other Haskell compiler
   * [[http://cvs.cs.uu.nl/cgi-bin/cvsweb.cgi/uust/][uust libraries]](parser combinators, etc.)
   * [[Attribute Grammar system]]
   * optionally: [[http://www.haskell.org/alex][Alex]] >= 2.0  

The Tiger compiler's lexical analyser was made using [[http://www.haskell.org/alex][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:
<verbatim>
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
</verbatim>

---+++ 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 [[mailto:arthurb@cs.uu.nl][Arthur Baars]].