Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 361755 - No diagnosis of Set to OrderedSet let assignment
Summary: No diagnosis of Set to OrderedSet let assignment
Status: REOPENED
Alias: None
Product: Acceleo
Classification: Modeling
Component: Core (show other bugs)
Version: 3.2   Edit
Hardware: PC Windows Vista
: P3 normal
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-10-23 10:49 EDT by Ed Willink CLA
Modified: 2016-04-06 10:41 EDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.