The Eiffel Compiler tecomp version 0.21 released.

Helmut <>
Mon, 21 Dec 2009 16:54:15 -0800 (PST)

          From comp.compilers

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

From: Helmut <>
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


== New features ==

- HASHABLE available in library/kernel


- 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

- 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

- 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.