<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xml:base="http://testing.eiffel.com" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
 <title>Bug report from other, e.g. commercial customer</title>
 <link>http://testing.eiffel.com/taxonomy/term/5</link>
 <description>The taxonomy view with a depth of 0.</description>
 <language>en</language>
<item>
 <title>Generic constraint with Rename that lists to Rename_pair elements crashes compiler</title>
 <link>http://testing.eiffel.com/tcs/152</link>
 <description>
&lt;h3 id=&quot;toc0&quot;&gt;Environment&lt;/h3&gt;
&lt;p&gt;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&lt;/p&gt;


&lt;h3 id=&quot;toc1&quot;&gt;Description&lt;/h3&gt;
&lt;p&gt;A formal generic constraint that has an &amp;quot;empty&amp;quot; rename, such as&lt;/p&gt;

&lt;p&gt;G -&amp;gt; STRING rename end&lt;/p&gt;

&lt;p&gt;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.&lt;/p&gt;


&lt;h3 id=&quot;toc2&quot;&gt;To reproduce&lt;/h3&gt;
&lt;p&gt;Compile with attached classes and .ecf.  Compiler crashes.&lt;/p&gt;

</description>
 <comments>http://testing.eiffel.com/tcs/152#comments</comments>
 <category domain="http://testing.eiffel.com/taxonomy/term/5">Bug report from other, e.g. commercial customer</category>
 <category domain="http://testing.eiffel.com/taxonomy/term/33">EiffelStudio</category>
 <category domain="http://testing.eiffel.com/taxonomy/term/13">Functional correctness</category>
 <category domain="http://testing.eiffel.com/taxonomy/term/59">All platforms</category>
 <category domain="http://testing.eiffel.com/taxonomy/term/24">EiffelStudio 6.0</category>
 <category domain="http://testing.eiffel.com/taxonomy/term/19">Normal usage</category>
 <category domain="http://testing.eiffel.com/taxonomy/term/22">Serious</category>
 <pubDate>Mon, 21 May 2007 07:39:48 -0700</pubDate>
 <dc:creator>alexk_es</dc:creator>
 <guid isPermaLink="false">152 at http://testing.eiffel.com</guid>
</item>
</channel>
</rss>
