search

ModelDriven / Alf-Reference-Implementation

Open-source implementation of the Action Language for fUML (Alf) specification.
30 stars 2 forks source link

The derivation of whether collection conversion was needed was not always correct #45

Closed seidewitz closed 7 years ago

seidewitz commented 7 years ago

It is possible for a right-hand side to have a collection class type, but be assignable to a left-hand side that does not have a collection class type, without requiring collection conversion. For instance, the LHS type could be "any", or it could be a non-collection-class superclass of the collection class. These cases are not being properly accounted for, resulting in incorrect insertion of calls to the "toSequence" operation.

seidewitz commented 7 years ago

See 4bb51d97a9b9eb713cf874277b815e35b5c02dc8 - Issue # 45 - Corrected checking if collection conversion needed.

seidewitz commented 7 years ago

Resolved in v1.1.0.