Generic constraint with Rename that lists to Rename_pair elements crashes compiler

Posted May 21st, 2007 by alexk_es
in
References
Test Plan:
Multi-constraint formal generics
bug#12775
ECMA Eiffel section:
8.12 Genericity
Other:

https://www2.eiffel.com/xmlrpc/protected/download_attachment.aspx?attachment=1534 https://www2.eiffel.com/xmlrpc/protected/download_attachment.aspx?attachment=1535 https://www2.eiffel.com/xmlrpc/protected/download_attachment.aspx?attachment=1536

Test procedure:

Environment

Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3 Solaris 10 on x86

Description

A formal generic constraint that has an "empty" rename, such as

G -> STRING rename end

causes the compiler to crash. According to my reading of ECMA-367 (section 8.6.14), this should actually be a syntax error since a Rename_list consists of one or more Rename_pair, not zero or more.

To reproduce

Compile with attached classes and .ecf. Compiler crashes.

Test runs

IDDatePlatformResult
trr#3121 year 11 weeks agoAll platformsFailed
trr#1531 year 13 weeks agoAll platformsFailed