PR# 13642 Changing "inherit" to "inherit {NONE}" introduces VJAR error but it is not detected

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2007/11/20
Class: Bug
Severity: Serious
Number: 13642
Release: 6.1.71218
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.0.7) Gecko/20060915 Firefox/1.5.0.7 Solaris 9 on SPARC
Synopsis: Changing "inherit" to "inherit {NONE}" introduces VJAR error but it is not detected

Description
A class with an assignment of `parent := child' is valid because
type CHILD conforms to PARENT.  After initial compilation, the
inheritance clause in CHILD is changed to "inherit {NONE}.  This introduces
a VJAR error but when the system is recompiled the compiler does not
detect it.

Note that `parent' and `child' are attributes of TEST in this test case.
If they are both locals instead, then the VJAR error is detected.

Should be an eweasel test.


To Reproduce
Compile with attached classes and .ecf file.
Change "inherit" in CHILD to "inherit {NONE}".
Recompile.  VJAR error is not detected.
Problem Report Interactions
From:misterieking    Date:2007/11/28    Download   
I've added eweasel test noncon008, this bug also occurs when conforming inheritance is also removed.

It is now fixed, thanks for the report.

From:prestoat2000    Date:2007/11/20    Download   
Attachments for problem report #13642

Attachment: test.e     Size:146
Attachment: parent.e     Size:18
Attachment: child.e     Size:40
Attachment: test.ecf     Size:677