Index of /~pls/repos/phrac
      Name                    Last modified       Size  Description

[DIR] Parent Directory 04-Nov-2009 14:46 - [DIR] tests/ 04-Nov-2009 14:46 - [DIR] pp/ 04-Nov-2009 14:46 - [DIR] mk/ 04-Nov-2009 14:46 - [   ] ghci 25-May-2005 15:36 1k [   ] configure.ac 30-Aug-2005 13:20 2k [   ] configure 30-Aug-2005 13:20 71k [   ] boring 30-Aug-2005 13:20 1k [DIR] _darcs/ 04-Nov-2009 14:46 - [   ] TODO 30-Aug-2005 13:20 1k [   ] PhracPrelude.phc 01-Oct-2005 23:20 3k [DIR] Phrac/ 04-Nov-2009 14:46 - [   ] Makefile 30-Aug-2005 13:20 1k [TXT] Main.hs 30-Aug-2005 13:20 4k [   ] LICENSE 25-May-2005 15:36 18k [   ] AUTHORS 25-May-2005 15:36 1k

------------------------------------------------------------------------
-            PHRaC - PLS Haskell-like ReseArch Compiler                -
------------------------------------------------------------------------

At the moment, PHRaC is not a compiler but basically only a typechecker
for a Haskell-like language with associated type synonyms.

See the directory tests/examples for some examples.


Building:
---------

You need autoreconf, (GNU) make, m4, ghc 6.4, alex and happy.

In the toplevel directory execute:

    autoreconf
    ./configure

    chmod 755 pp/logpp   (sorry, but darcs does not preserve permissions)

If necessary: edit config.mk for your environment.

    make
or
    make clean
    make distclean


Running:
--------

Execute `phrac -h' to get a short description of the available commandline
options.


Using ghci: 

PHRaC uses the m4 preprocessor the provide filename/linenumber information 
in debug messages. The script `ghci' in the toplevel directory is a wrapper
which calls the real ghci with the right commandline arguments for invoking
the preprocessor.


Porting:
--------

PHRaC was developed with GHC 6.4 under Linux x86. Should work an other 
platforms as well.