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
I've added eweasel test noncon008, this bug also occurs when conforming inheritance is also removed. It is now fixed, thanks for the report.