Description Antonio Garcia-Dominguez 2011-02-28 04:40:40 EST

Build Identifier: M20100909-0800

Epsilon performs some type checking already: for instance, trying to assign a Sequence to a Set variable results in an error. Additionally, trying to call a function with the wrong parameter types will usually report an error saying that the function does not exist.

However, there is an inconsistency: return values from operations which declare their return type are not checked.

Reproducible: Always

Steps to Reproduce:
1. Run the attached EOL script.
2. Notice that it does not report any errors, even though it should.