Tiger Typecheck

Tiger-Typecheck checks TigerAbstractSyntax trees for well-typedness and annotates variables with their types. It is a component of the TigerCompiler in the TigerFront package. See TigerTypes for the definition of types and operations on types.

Tiger-Typecheck.cr

Moved Permanently
The document has moved here.

Apache/2.2.8 (Unix) DAV/2 mod_ssl/2.2.8 OpenSSL/0.9.8h mod_python/3.3.1 Python/2.4.4 PHP/5.2.6 SVN/1.4.6 Server at www.stratego-language.org Port 80

Explain-Errors.cr

Moved Permanently
The document has moved here.

Apache/2.2.8 (Unix) DAV/2 mod_ssl/2.2.8 OpenSSL/0.9.8h mod_python/3.3.1 Python/2.4.4 PHP/5.2.6 SVN/1.4.6 Server at www.stratego-language.org Port 80

-- EelcoVisser - 15 Sep 2002
-- EelcoVisser - 04 Dec 2001