PR# 15178 Making class expanded and adding default_create to create clause still gives VTEC(2) error

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2008/12/19
Class: Bug
Severity: Serious
Number: 15178
Release: 6.4.76164
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.1.13) Gecko/20080328 Firefox/2.0.0.13 Solaris 10 on SPARC
Synopsis: Making class expanded and adding default_create to create clause still gives VTEC(2) error

Description
After initial compilation, making a class expanded introduces a VTEC(2) error.
Adding `default_create' to the create clause should allow the classes to compile
but the compiler still reports VTEC(2).

Added eweasel test incr303 for this bug.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:alexk_es   
											Date:2011/09/03   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
Fixed (possibly by one or two of the previous commits) in rev#87149 of EiffelStudio 7.0 intermediate release.
The error reported during the test is VGCP(4), but this seems to be OK because the corresponding validity rule is indeed violated, and after correction the test passes.