Devel-TypeCheck v0.01

The TypeCheck program uses static analysis to infer types for
expressions and variables.  An error is reported if the type use is
inconsistent.  For instance, it will report when a reference is used
where a string or number is expected, and vice versa.

This program relies on the B compiler back end (which is included with
Perl).  It has only been tested with Perl 5.8.1.

To run, invoke as one would normally do with a compiler back end
module.  The following example type checks the main block of
PROGRAM.pl and prints out the operand tree while it runs:

perl -MO=TypeCheck,-main,-verbose PROGRAM.pl

For more information, see Devel::TypeCheck(3).

INSTALLATION

To install this module, run the following commands:

    perl Makefile.PL
    make
    make test
    make install


COPYRIGHT AND LICENCE

Copyright (C) 2005 Gary Jackson

This program is free software; you can redistribute it and/or modify it
under the same terms as Perl itself.