nitg: add option --global
[nit.git] / tests / sav / error_expr_not_ok_alt6.sav
index 0249e8c..90dc763 100644 (file)
@@ -11,113 +11,100 @@ 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:52,6--9: Type error: expected Int, got null
-alt/error_expr_not_ok_alt6.nit:53,1--9: Error: Method '+' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:54,7--10: Type error: expected Int, got null
-alt/error_expr_not_ok_alt6.nit:55,1--12: Error: Method '+' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:60,4--7: Type error: expected Bool, got null
+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 null
+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 nullable Int
-alt/error_expr_not_ok_alt6.nit:64,7--33: Type error: expected A, got null
-alt/error_expr_not_ok_alt6.nit:66,7--10: Type error: expected Bool, got null
+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:69,10--13: Type error: expected Collection[nullable Object], got null
-alt/error_expr_not_ok_alt6.nit:71,8--11: Type error: expected Bool, got null
-alt/error_expr_not_ok_alt6.nit:72,7--15: Type error: expected A, got null
-alt/error_expr_not_ok_alt6.nit:73,7--10: Type error: expected Bool, got null
+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,10--13: Type error: Expected a type with an 'iterate' method. Found Int.
+alt/error_expr_not_ok_alt6.nit:69,24: Type error: expected A, got 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 null
+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 null
-alt/error_expr_not_ok_alt6.nit:75,15--18: Type error: expected Bool, got null
+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 null
+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 null
-alt/error_expr_not_ok_alt6.nit:77,16--19: Type error: expected Bool, got null
+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 null
-alt/error_expr_not_ok_alt6.nit:78,16--19: Type error: expected Bool, got null
+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 null
+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: Error: Method '==' call on 'null'.
+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: Error: Method '==' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:83,7--15: Error: Method '!=' call on 'null'.
+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:85,7--18: Error: Method '!=' call on 'null'.
+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--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:89,7--14: Error: Method '<' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:90,11--14: Type error: expected Int, got null
+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: Error: Method '<' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:92,7--14: Error: Method '>' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:93,11--14: Type error: expected Int, got null
+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: Error: Method '>' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:95,7--15: Error: Method '<=' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:96,12--15: Type error: expected Int, got null
+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: Error: Method '<=' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:98,7--15: Error: Method '>=' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:99,12--15: Type error: expected Int, got null
+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: Error: Method '>=' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:101,7--16: Error: Method '<=>' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:102,13--16: Type error: expected Int, got null
+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: Error: Method '<=>' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:104,7--14: Error: Method '+' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:105,11--14: Type error: expected Int, got null
+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: Error: Method '+' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:107,7--14: Error: Method '-' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:108,11--14: Type error: expected Int, got null
+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: Error: Method '-' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:110,7--14: Error: Method '*' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:111,11--14: Type error: expected Int, got null
+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: Error: Method '*' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:113,7--14: Error: Method '/' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:114,11--14: Type error: expected Int, got null
+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: Error: Method '/' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:116,7--14: Error: Method '%' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:117,11--14: Type error: expected Int, got null
+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: Error: Method '%' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:119,7--11: Error: Method 'unary -' call on 'null'.
+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' access on 'null'.
-alt/error_expr_not_ok_alt6.nit:127,1--11: Error: Attribute '_x' access on 'null'.
-alt/error_expr_not_ok_alt6.nit:128,1--12: Error: Attribute '_x' access on 'null'.
-alt/error_expr_not_ok_alt6.nit:131,11--14: Type error: expected Int, got null
-alt/error_expr_not_ok_alt6.nit:131,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:132,10--13: Type error: expected Int, got null
-alt/error_expr_not_ok_alt6.nit:133,11--14: Type error: expected Int, got null
-alt/error_expr_not_ok_alt6.nit:134,7--12: Error: Method '[]' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:135,1--11: Error: Method '[]=' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:136,1--12: Error: Method '[]' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:137,1--17: Error: Method '[]=' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:139,8--14: Type error: Int incompatible with null.
-alt/error_expr_not_ok_alt6.nit:140,8--14: Type error: null incompatible with Int.
-alt/error_expr_not_ok_alt6.nit:141,8--11: Type error: expected Discrete, got null
-alt/error_expr_not_ok_alt6.nit:142,8--14: Type error: Int incompatible with null.
-alt/error_expr_not_ok_alt6.nit:143,8--14: Type error: null incompatible with Int.
-alt/error_expr_not_ok_alt6.nit:144,8--11: Type error: expected Discrete, got null
-alt/error_expr_not_ok_alt6.nit:145,8--14: Type error: expected A, got Array[nullable Int]
-alt/error_expr_not_ok_alt6.nit:146,8--14: Type error: expected A, got Array[nullable Int]
-alt/error_expr_not_ok_alt6.nit:147,8--17: Type error: expected A, got Array[null]
+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--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:151,7--10: Type error: 'as(not null)' on 'null' value.
+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: 'as(not null)' on non nullable type.
+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