The Eiffel Compiler tecomp version 0.24 released

Helmut <helmut.brandl@gmx.net>
Sun, 10 Oct 2010 15:25:22 -0700 (PDT)

          From comp.compilers
Related articles
The Eiffel Compiler tecomp version 0.24 released helmut.brandl@gmx.net (Helmut) (2010-10-10)
| List of all articles for this month |
From: Helmut <helmut.brandl@gmx.net>
Newsgroups: comp.compilers
Date: Sun, 10 Oct 2010 15:25:22 -0700 (PDT)
Organization: Compilers Central
Keywords: Eiffel, available
Posted-Date: 11 Oct 2010 00:34:51 EDT

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


== New features ==


=== Simplified void safety syntax implemented ===


A simplified syntax for void safety has been implemented which
replaces the more verbose old syntax


        exp: detachable E
        anc_exp: detachable E_ANCESTOR -- conformant


        -- old syntax
        check attached exp as x then
              x.some_feature
        end
        check attached {E} anc_exp as x then
              x.some_feature
        end


        -- new syntax
        exp.attached.some_feature
        anc_exp.attached{E}.some_feature


If `exp' is not attached to an object or `anc_exp' is not
attached to an object of type E, an exception is thrown, i.e. the
semantics is the same as with the old syntax, the syntax is more
concise.


For more details see the white paper at
[[http://tecomp.sourceforge.net]] -> white papers -> language
discussion -> improved void safety.


Post a followup to this message

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