The Eiffel Compiler tecomp version 0.21 released.

Helmut <helmut.brandl@gmx.net>
Mon, 21 Dec 2009 16:54:15 -0800 (PST)

          From comp.compilers

Related articles
The Eiffel Compiler tecomp version 0.21 released. helmut.brandl@gmx.net (Helmut) (2009-12-21)
| List of all articles for this month |

From: Helmut <helmut.brandl@gmx.net>
Newsgroups: comp.compilers
Date: Mon, 21 Dec 2009 16:54:15 -0800 (PST)
Organization: Compilers Central
Keywords: Eiffel, available
Posted-Date: 23 Dec 2009 00:54:41 EST

documentation http://tecomp.sourceforge.net
download http://www.sourceforge.net/projects/tecomp


== New features ==


- HASHABLE available in library/kernel


- all INTEGERs, NATURALs and STRINGs are HASHABLE


- INTEGER_GENERAL available in library/kernel which is a common
    ancestor to all INTEGER_xx and NATURAL_xx classes


- Constraint creators implemented, i.e. class CG[G->CONSTRAINT
    create cp1, cp2, ... end] now possible. A formal generic with
    "G -> CONSTRAINT create default_create end" is self
    initializing.


- New syntax for object test available (replaces the old syntax
    {var:T} expr)


    - attached expr


    - attached {T} expr


    - attached expr as var


    - attached {T} expr as var


    - check attached expr as var then var.some_feature end


- ARRAY and SPECIAL now completely void safe (features which are
    not void safe like make(lower, upper), force etc. removed).


- ARRAY does automatic resize in extend_rear and extend_front


== Bugfixes ==


- Tecomp did not work well on SPARC machines due to an alignment
    bug.


- Formal arguments and local variables are not allowed to shadow
    attributes. This rule is valid in the defining class only. A
    descendant can introduce attributes with the same name as local
    variables and formal arguments of inherited features. The
    latter is not invalid.


- Validity: creation procedure rule 8.20.3 now fully checked (no
    unqualified calls and no Current in the precondition of a
    creation procedure)


- bugfix in validator/variable_tracker: empty else branch not
    handled correctly during checking the proper initialization of
    local variables.



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.