Eli 4.5 released

Version 4.5 of the Eli translator construction system has been released.

This version includes attribution modules to support type analysis concepts
such as
- language- and user-defined types
- name or structural equivalence of types
- language- and user-defined operators, procedures, and methods
- expressions with coercion, explicit type conversion, and overloaded
operators

They encapsulate the necessary computations and the dependence
relationships among them, and export a nomenclature for language
constructs. Type analyzer code for a particular compiler can be created by
instantiating the appropriate modules and then classifying the constructs
of the given source language according to that scheme. For example, after
instantiating the Expression module, all of the code needed to analyze an
infix operator with two operands can be obtained by classifying the
appropriate abstract syntax rule as a DyadicContext. For a tutorial, see

http://eli-project.sourceforge.net/e...orial_toc.html

We have also updated the name analysis modules, and re-written the front
end of the LIGA attribute evaluator generator.

Visit http://eli-project.sourceforge.net/ for full details.