PR# 16908 Constrained formal generic without type is accepted but should be syntax error

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/06/24

Class: Bug

Severity: Non-critical

Number: 16908

Release: 6.6.83355

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.9.0.10) Gecko/2009042715 Firefox/3.0.10 Solaris 10 on SPARC

Synopsis: Constrained formal generic without type is accepted but should be syntax error

Description

A generic class

   TEST2 [G -> create default_create end]

or

   TEST2 [G ->]

should be a syntax error according to ECMA-367, but the compiler accepts it.
If I mis-read the standard and this is allowed, please correct the test.

Added eweasel test syntax061 for this bug.

To Reproduce

Run eweasel test syntax061.

Problem Report Interactions

From:alexk_es Date:2010/07/03 Status: Closed Download

Fixed in rev#83802 of EiffelStudio 6.7 intermediate release.