PR# 19917 Type error in class `ELSIF_EXPRESSION_B`.

Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Low
Date: 2024/04/19
Class: Bug
Severity: Non-critical
Number: 19917
Release: 22.12.10.6463 GPL
Confidential: No
Status: Closed
Responsible:
Environment: win
Synopsis: Type error in class `ELSIF_EXPRESSION_B`.

Description
When compiling the code of `ecb` as of 22.12.10.6463 using the Gobo Eiffel compiler, we get this error:

```
[VUAR-2] class BYTE_LIST (106,13): the 1-th actual argument (of type '[attached] EXPR_B') does not conform to the corresponding formal argument (of type '[attached] ELSIF_EXPRESSION_B') of feature `put' in class SPECIAL.
```

This is because the type of `enlarged` in class `ELSIF_EXPRESSION_B` is `EXPR_B`, but it should be `ELSIF_EXPRESSION_B` as in:

```
	enlarged: ELSIF_EXPRESSION_B
			-- Redefined for type check.
		do
			Result := Current
		end
```

--
Eric Bezault
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2024/05/02   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This is now fixed by rev 107753
Thank you for your contribution.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:gobobe   
											Date:2024/04/19   
																							Status: Open   
											
											Download   
										

										

                                            
											
										 	
See pull request `https://github.com/EiffelSoftware/EiffelStudio/pull/60`.

--
Eric Bezault