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.