PR# 15772 Error in Watch tool

Problem Report Summary
Submitter: peter_gummer
Category: Debugger
Priority: Medium
Date: 2009/05/04
Class: Bug
Severity: Serious
Number: 15772
Release: 6.4.7.8493
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_5_6; en-au) AppleWebKit/525.27.1 (KHTML, like Gecko) Version/3.2.1 Safari/525.27.1
Synopsis: Error in Watch tool

Description
The debugger stopped at a postcondition failure in one of our classes' redefinition of is_equal. While investigating, I typed these two expressions into the Watch tool:

other ~ Current: BOOLEAN = True
Current ~ other	Error occurred (double click to see details)			Current feature	


I double-clicked to see the details. Here they are:

Error on expression : "Current ~ other"
Cannot find complete dynamic type of an expanded type.
-----------------------------------
ANY => ERROR : please report to support.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2009/05/11   
											
											Download   
										

										

                                            
											
										 	
Ok, thank you for the precision.
This is not completly fixed by revision rev#78602.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:peter_gummer   
											Date:2009/05/07   
											
											Download   
										

										

                                            
											
										 	
No, Jocelyn, it's not an expanded class. It's the class mentioned in https://www2.eiffel.com/support/protected/report.aspx?pr=15773 .

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2009/05/07   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
I assume the related class was an expanded class?

It is now fixed in rev#78545