PR# 3773 Should be VHPR-1 when inheriting from NONE

Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Medium
Date: 2004/06/02
Class: Bug
Severity: Non-critical
Number: 3773
Release: 5.5.0409
Confidential: No
Status: Open
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02
Synopsis: Should be VHPR-1 when inheriting from NONE

5.5.0409, not checked with 5.5.0616

When a class inherits from NONE, ISE Eiffel reports the following error:

Error code: VTCT
Error: type is based on unknown class.
What to do: use an identifier that is the name of a class in the universe.

Unknown class name: NONE

This is not correct: NONE is a special class that should be known by the compiler. For example when I declare an attribute of type NONE I don't get a VTCT error.

The error that should have been reported is VHPR-1: GELINT inherits from NONE and NONE is a descendant of GELINT.
To Reproduce

Problem Report Interactions
From:gobobe    Date:2004/06/02    Download