PR# 16798 Remote anchored type with formal generic crashes compiler

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/05/31

Class: Bug

Severity: Serious

Number: 16798

Release: 6.6.83355

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris snv_134 on x86

Synopsis: Remote anchored type with formal generic crashes compiler

Description

A remote anchored type

   y: like {TEST1 [G]}.x

where

   x: G

crashes the compiler:

-------------------------------------------------------------------------------
FORMAL_A            is_single_constraint_without_renaming @2
<000000000E1EA24C>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------

Added eweasel test anchor013 for this bug.

To Reproduce

Run eweasel test anchor013.

Problem Report Interactions

From:alexk_es Date:2010/06/05 Status: Closed Download

Fixed in rev#83443 of EiffelStudio 6.7 intermediate release.