Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 361755

Summary: No diagnosis of Set to OrderedSet let assignment
Product: [Modeling] Acceleo Reporter: Ed Willink <ed>
Component: CoreAssignee: Project Inbox <acceleo-inbox>
Status: REOPENED --- QA Contact:
Severity: normal    
Priority: P3 CC: laurent.goubet
Version: 3.2   
Target Milestone: ---   
Hardware: PC   
OS: Windows Vista   
Whiteboard:

Description Ed Willink CLA 2011-10-23 10:49:38 EDT 
In

[let pOtherTypes : OrderedSet(Type) = pTypes - pUMLTypes - pTypesTypes - pExpressionsTypes]

where the inputs are all OrderedSets there is no diagnosis of the problem assigning a Set to an OrderedSet; just a silent non-execution of the invalid let.
Comment 1 Laurent Goubet CLA 2016-04-06 10:32:22 EDT 
An Acceleo "let" block has the meaning of a Java "instanceof" operator. In the current case, the "let" is just not executed since the types don't correspond when checked at runtime.
Comment 2 Ed Willink CLA 2016-04-06 10:41:06 EDT 
The report was about a missing diagnosis not an incorrect functionality.

It is customary for tools to give warnings about dead code. This is a case for just such a warning.