PR# 14993 Catcall message incorrect for attached catcalls

Problem Report Summary
Submitter: manus_eiffel
Category: Debugger
Priority: Medium
Date: 2008/11/13
Class: Bug
Severity: Serious
Number: 14993
Release: 6.3.7.5567
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.9.0.3) Gecko/2008092417 Firefox/3.0.3
Synopsis: Catcall message incorrect for attached catcalls

Description
If you have a catcall because `f (a: ANY)' is redefined into `f (a: !ANY)' and you pass Void via the ancestor, the message printed in the console is:

Catcall detected in {TEST}.f for for arg#1: expected STRING_32 but got Void

but in the debugger it is:

Catcall detected for  argument#1 `a': expected  STRING_32 but got NONE

It would be better to change NONE into Void. It is easy because the type of NONE is 0xFFFE (SHARED_GEN_CONF_LEVEL}.none_type.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2008/12/02   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
Fixed in 6.3.
Closing

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2008/11/14   
																							Status: Analyzed   
											
											Download   
										

										

                                            
											
										 	
It should be fixed by rev#75599
Please check it, since I haven't been able to test it for real yet.