Merge pull request #1458 from uqbar-project/fix-#1442-type-collection…

…-elements-after-block-variable Fixes 1442 / Actually was already working, only add test
uqbar-project · Aug 11, 2018 · 1b44b1f · 1b44b1f
2 parents 9e99e84 + 2816a08
commit 1b44b1f
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/...g/uqbar/project/wollok/tests/typesystem/xpect/Issue1442_TypeCollectionAfterClosure.wlk.xt b/...g/uqbar/project/wollok/tests/typesystem/xpect/Issue1442_TypeCollectionAfterClosure.wlk.xt
@@ -0,0 +1,18 @@
+/* XPECT_SETUP org.uqbar.project.wollok.tests.typesystem.xpect.TypeSystemXpectTestCase END_SETUP */
+
+
+class Empleado {
+	var property categoria = 0
+}
+
+object jefe {
+	// XPECT type at empleados --> List<Empleado>
+	var empleados = []
+
+	method algunoConCategoria(cat) {
+		return empleados.any{ 
+			// XPECT type at emp --> Empleado
+			emp => emp.categoria() == cat
+		}
+	}
+}