This site contains older material on Eiffel. For the main Eiffel page, see http://www.eiffel.com.

NICE Language Committee: 2-second-message

From tynor@atlanta.twr.com Mon Jan 31 09:32:30 1994
Date: Sat, 29 Jan 94 19:29:53 EST
To: bertrand@eiffel.com
Subject: Creation of formals
Content-Length: 973
Status: RO
X-Lines: 23

Greetings,

Suppiah Asokan's recent question on comp.lang.eiffel about VGCC(1) has
got me to thinking about the issue of creating objects of formal generic
type again.  We've had similar requests from other users and had
convinced ourselves that there were no implementation-related
constraints that would prevent us from implementing creation of formal
generic types.

However, I've just reread the last 2 paragraphs on pg. 292 and I see
that you explicitly deal with this restriction and explain that the
limitation is due to an implementation-based constraint.  I'm
specifically puzzled by your mention of the need for extra fields in
_instances_ of generic classes.  I can't imagine what these fields would
be used for.  Can you enlighten me?

Best regards,

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
C++: One million lemmings can't be wrong.

Steve Tynor		Internet: Steve.Tynor@atlanta.twr.com
Tower Technology	UUCP:     twratl!Steve.Tynor