From: Helmut Brandl <helmut.brandl@gm...> - 2009-03-23 14:43:09
== Inline agents available ==
A call agent is an object which represents a call to an existing
feature. An inline agent defines the represented feature call inline. An
inline agent represents an anonymous feature of the current type. E.g.
incrementor: FUNCTION[like Current, TUPLE[INTEGER], INTEGER]
incrementor := agent (i:INTEGER): INTEGER do
Result := i + 1
incrementor.item() = 2
incrementor.item() = 3
== Some bugfixes ==
- a class name was sometimes displayed wrongly in the diagnostic
messages due to the return of a pointer to a temporary object.
- error report now clearer, if incompatible types are reported and the
source is a detachable formal generic which is attached to an attached
- replicated inheritance produced a segfault if the calling feature had
no versions and the called feature had versions in the current class.