Merge: Not null types

[nit.git] / tests / sav / error_expr_not_ok_alt6.res

diff --git a/tests/sav/error_expr_not_ok_alt6.res b/tests/sav/error_expr_not_ok_alt6.res
index 25b17c2..c56e7b6 100644 (file)
--- a/tests/sav/error_expr_not_ok_alt6.res
+++ b/tests/sav/error_expr_not_ok_alt6.res
@@ -1,4 +1,4 @@
-alt/error_expr_not_ok_alt6.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt6.nit:19,18--21: Error: Method or variable 'fail' unknown in A.
 alt/error_expr_not_ok_alt6.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
 alt/error_expr_not_ok_alt6.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
 alt/error_expr_not_ok_alt6.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
@@ -11,36 +11,101 @@ alt/error_expr_not_ok_alt6.nit:45,7--10: Type error: expected A, got null
 alt/error_expr_not_ok_alt6.nit:46,1--9: Error: Method 'fail' call on 'null'.
 alt/error_expr_not_ok_alt6.nit:49,7--10: Type error: expected A, got null
 alt/error_expr_not_ok_alt6.nit:50,1--10: Error: Method 'trash' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:51,8--9: Type error: expected null, got Int
+alt/error_expr_not_ok_alt6.nit:60,4--7: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:60,20: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:62,10--13: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:62,7--27: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:63,7--30: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:64,7--33: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:66,7--10: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:66,21: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
+alt/error_expr_not_ok_alt6.nit:67,1--18: Warning: use `loop` instead of `while true do`.
+alt/error_expr_not_ok_alt6.nit:69,24: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:69,1--25: Type Error: 'for' expects a type providing 'iterator' method, got 'Int'.
+alt/error_expr_not_ok_alt6.nit:69,1--25: Error: Method 'iterator' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:71,8--11: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:72,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:73,7--10: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:74,15--18: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:74,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:75,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:75,15--18: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:75,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:76,7--10: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:76,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:77,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:77,16--19: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:77,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:78,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:78,16--19: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:79,11--14: Type error: expected Bool, got Int
 alt/error_expr_not_ok_alt6.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:80,7--15: Type error: expected A, got Bool
 alt/error_expr_not_ok_alt6.nit:81,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:82,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:83,7--15: Type error: expected A, got Bool
 alt/error_expr_not_ok_alt6.nit:84,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:86,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:87,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:88,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:85,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:86,7--30: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:87,7--30: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:88,7--33: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:89,7--14: Type error: expected A, got Bool
 alt/error_expr_not_ok_alt6.nit:90,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:91,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:92,7--14: Type error: expected A, got Bool
 alt/error_expr_not_ok_alt6.nit:93,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:94,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:95,7--15: Type error: expected A, got Bool
 alt/error_expr_not_ok_alt6.nit:96,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:97,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:98,7--15: Type error: expected A, got Bool
 alt/error_expr_not_ok_alt6.nit:99,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:100,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:101,7--16: Type error: expected A, got Int
 alt/error_expr_not_ok_alt6.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:103,7--19: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:104,7--14: Type error: expected A, got Int
 alt/error_expr_not_ok_alt6.nit:105,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:106,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:107,7--14: Type error: expected A, got Int
 alt/error_expr_not_ok_alt6.nit:108,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:109,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:110,7--14: Type error: expected A, got Int
 alt/error_expr_not_ok_alt6.nit:111,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:112,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:113,7--14: Type error: expected A, got Int
 alt/error_expr_not_ok_alt6.nit:114,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:115,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:116,7--14: Type error: expected A, got Int
 alt/error_expr_not_ok_alt6.nit:117,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:118,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:119,7--11: Type error: expected A, got Int
 alt/error_expr_not_ok_alt6.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
 alt/error_expr_not_ok_alt6.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
 alt/error_expr_not_ok_alt6.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt6.nit:126,7--13: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
 alt/error_expr_not_ok_alt6.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:139,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:140,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:141,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:142,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:143,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:144,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:145,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt6.nit:146,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt6.nit:147,7--18: Type error: expected A, got Array[Int]
 alt/error_expr_not_ok_alt6.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt6.nit:150,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt6.nit:150,7--18: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:151,7--10: Warning: expression is not null, since it is a `Int`.
+alt/error_expr_not_ok_alt6.nit:151,7--23: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:152,7--18: Warning: Expression is already a Int.
 alt/error_expr_not_ok_alt6.nit:152,7--18: Type error: expected A, got Bool