Adding tests for dnu error

uqbar-project · Mar 17, 2018 · 71aa6d5 · 71aa6d5
1 parent fdbbcf9
commit 71aa6d5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/....project.wollok.tests/src/org/uqbar/project/wollok/tests/typesystem/xpect/methods.wpgm.xt b/....project.wollok.tests/src/org/uqbar/project/wollok/tests/typesystem/xpect/methods.wpgm.xt
@@ -21,7 +21,11 @@ class Entrenador {
 	const estrategia = { ave => ave.vola() }
 
 	// XPECT methodType at entrena --> (Golondrina) => Void
-	method entrena(ave) { ave.vola() }
+	method entrena(ave) {
+		// XPECT errors --> "type <<Golondrina>> does not understand message <<come()>>" at "ave.come()" 
+		ave.come() 
+		ave.vola()
+	}
 
 	// XPECT methodType at llama --> (pepita) => String
 	method llama(ave) = ave.nombreAve()