From: Jean Privat Date: Tue, 26 Nov 2013 15:22:10 +0000 (-0500) Subject: tests: clean and update sav/nitg-e X-Git-Tag: v0.6.4~51^2~7 X-Git-Url: http://nitlanguage.org tests: clean and update sav/nitg-e Signed-off-by: Jean Privat --- diff --git a/tests/sav/nitg-e/base_class_name.res b/tests/sav/nitg-e/base_class_name.res new file mode 100644 index 0000000..84e61ef --- /dev/null +++ b/tests/sav/nitg-e/base_class_name.res @@ -0,0 +1,6 @@ +String +Int +Test +Test +MyArray +TotoToto diff --git a/tests/sav/nitg-e/base_gen_variance2_alt2.res b/tests/sav/nitg-e/base_gen_variance2_alt2.res new file mode 100644 index 0000000..8e5730c --- /dev/null +++ b/tests/sav/nitg-e/base_gen_variance2_alt2.res @@ -0,0 +1,5 @@ +3 +100 +!3 +!2 +!100 diff --git a/tests/sav/nitg-e/base_iterator1.res b/tests/sav/nitg-e/base_iterator1.res deleted file mode 100644 index 4c16bf2..0000000 --- a/tests/sav/nitg-e/base_iterator1.res +++ /dev/null @@ -1,6 +0,0 @@ -Riri -Fidi -Loulou -Riri: R,i,r,i -Fifi: F,i,f,i -Loulou: L,o,u,l,o,u diff --git a/tests/sav/nitg-e/base_iterator2.res b/tests/sav/nitg-e/base_iterator2.res deleted file mode 100644 index 1321151..0000000 --- a/tests/sav/nitg-e/base_iterator2.res +++ /dev/null @@ -1,6 +0,0 @@ -Item0 -Item1 -Item2 -Key0:Item0 -Key1:Item1 -Key2:Item2 diff --git a/tests/sav/nitg-e/base_iterator3.res b/tests/sav/nitg-e/base_iterator3.res deleted file mode 100644 index 61a23fc..0000000 --- a/tests/sav/nitg-e/base_iterator3.res +++ /dev/null @@ -1,5 +0,0 @@ -base_iterator3.nit:37,1--25: Type Error: Expected method 'iterator' to return an Iterator of MapIterator type -base_iterator3.nit:41,1--25: Type Error: Expected method 'iterator' to return an Iterator or MapIterator type -base_iterator3.nit:45,1--25: Type Error: Expected method 'iterator' in type Test3 -base_iterator3.nit:48,1--48: Type Error: Expected one variable -base_iterator3.nit:49,1--47: Type Error: Expected two variables diff --git a/tests/sav/nitg-e/base_output_class_name.res b/tests/sav/nitg-e/base_output_class_name.res new file mode 100644 index 0000000..e4b4d77 --- /dev/null +++ b/tests/sav/nitg-e/base_output_class_name.res @@ -0,0 +1,6 @@ +Char +Int +Test +Test +MyArray +0 \ No newline at end of file diff --git a/tests/sav/nitg-e/error_expr_not_ok_alt4.res b/tests/sav/nitg-e/error_expr_not_ok_alt4.res deleted file mode 100644 index 544d47c..0000000 --- a/tests/sav/nitg-e/error_expr_not_ok_alt4.res +++ /dev/null @@ -1,109 +0,0 @@ -alt/error_expr_not_ok_alt4.nit:19,19--22: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt4.nit:21,11--14: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt4.nit:22,26--29: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt4.nit:24,8--11: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt4.nit:25,9--12: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt4.nit:40,1--7: Error: Method 'fail' doesn't exists in Int. -alt/error_expr_not_ok_alt4.nit:41,16--19: Type error: expected Int, got Object -alt/error_expr_not_ok_alt4.nit:42,7--9: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:43,1--8: Error: Method 'fail' doesn't exists in Int. -alt/error_expr_not_ok_alt4.nit:45,7--10: Type error: expected A, got Object -alt/error_expr_not_ok_alt4.nit:46,1--9: Error: Method 'fail' doesn't exists in Object. -alt/error_expr_not_ok_alt4.nit:49,7--10: Type error: expected A, got Object -alt/error_expr_not_ok_alt4.nit:50,1--10: Error: Incorrect number of parameters. Got 0, expected 1. Signature is (x: A) -alt/error_expr_not_ok_alt4.nit:60,4--7: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:60,20: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:62,10--13: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:62,7--27: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:63,7--30: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:64,7--33: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:66,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:66,21: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:67,1--18: Warning: use 'loop' instead of 'while true do'. -alt/error_expr_not_ok_alt4.nit:69,24: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:69,1--25: Type Error: Expected method 'iterator' in type Int -alt/error_expr_not_ok_alt4.nit:71,8--11: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:72,7--15: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:73,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:73,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:74,15--18: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:74,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:75,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:75,15--18: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:75,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:76,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:76,7--19: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:77,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:77,16--19: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:77,7--19: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:78,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:78,16--19: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:78,7--19: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:79,11--14: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt4.nit:79,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:80,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:81,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:82,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:83,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:84,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:85,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:86,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:87,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:88,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:89,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:90,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:91,7--17: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:92,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:93,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:94,7--17: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:95,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:96,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:97,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:98,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:99,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:100,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt4.nit:101,7--16: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:102,7--16: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:103,7--19: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:104,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:105,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:106,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:107,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:108,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:109,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:110,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:111,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:112,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:113,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:114,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:115,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:116,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:117,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:118,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:119,7--11: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:122,7--15: Error: Attribute _fail doesn't exists in String. -alt/error_expr_not_ok_alt4.nit:123,1--13: Error: Attribute _fail doesn't exists in String. -alt/error_expr_not_ok_alt4.nit:124,1--14: Error: Attribute _fail doesn't exists in String. -alt/error_expr_not_ok_alt4.nit:126,7--13: Error: Attribute _x doesn't exists in Int. -alt/error_expr_not_ok_alt4.nit:127,1--11: Error: Attribute _x doesn't exists in Int. -alt/error_expr_not_ok_alt4.nit:128,1--12: Error: Attribute _x doesn't exists in Int. -alt/error_expr_not_ok_alt4.nit:131,7--15: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:134,7--13: Error: Method '[]' doesn't exists in Int. -alt/error_expr_not_ok_alt4.nit:135,1--11: Error: Method '[]=' doesn't exists in Int. -alt/error_expr_not_ok_alt4.nit:136,1--12: Error: Method '[]' doesn't exists in Int. -alt/error_expr_not_ok_alt4.nit:137,1--17: Error: Method '[]=' doesn't exists in Int. -alt/error_expr_not_ok_alt4.nit:139,7--15: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt4.nit:140,7--15: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt4.nit:141,7--18: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt4.nit:142,7--15: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt4.nit:143,7--15: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt4.nit:144,7--18: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt4.nit:145,7--15: Type error: expected A, got Array[Int] -alt/error_expr_not_ok_alt4.nit:146,7--15: Type error: expected A, got Array[Int] -alt/error_expr_not_ok_alt4.nit:147,7--18: Type error: expected A, got Array[Int] -alt/error_expr_not_ok_alt4.nit:149,7--24: Type error: expected A, got String -alt/error_expr_not_ok_alt4.nit:150,7--18: Warning: Expression is already a Int. -alt/error_expr_not_ok_alt4.nit:150,7--18: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:151,7--23: Type error: expected A, got Int -alt/error_expr_not_ok_alt4.nit:152,7--18: Warning: Expression is already a Int. -alt/error_expr_not_ok_alt4.nit:152,7--18: Type error: expected A, got Bool diff --git a/tests/sav/nitg-e/error_expr_not_ok_alt5.res b/tests/sav/nitg-e/error_expr_not_ok_alt5.res deleted file mode 100644 index ead84b9..0000000 --- a/tests/sav/nitg-e/error_expr_not_ok_alt5.res +++ /dev/null @@ -1,105 +0,0 @@ -alt/error_expr_not_ok_alt5.nit:19,19--22: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt5.nit:21,11--14: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt5.nit:22,26--29: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt5.nit:24,8--11: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt5.nit:25,9--12: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt5.nit:37,8--15: Error: Method or variable 'fail2' unknown in Sys. -alt/error_expr_not_ok_alt5.nit:40,1--7: Error: Method 'fail' doesn't exists in Int. -alt/error_expr_not_ok_alt5.nit:42,7--9: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:43,1--8: Error: Method 'fail' doesn't exists in Int. -alt/error_expr_not_ok_alt5.nit:60,4--7: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:60,20: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:62,10--13: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:62,7--27: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:63,7--30: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:64,7--33: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:66,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:66,21: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:67,1--18: Warning: use 'loop' instead of 'while true do'. -alt/error_expr_not_ok_alt5.nit:69,24: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:69,1--25: Type Error: Expected method 'iterator' in type Int -alt/error_expr_not_ok_alt5.nit:71,8--11: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:72,7--15: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:73,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:73,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:74,15--18: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:74,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:75,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:75,15--18: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:75,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:76,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:76,7--19: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:77,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:77,16--19: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:77,7--19: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:78,7--10: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:78,16--19: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:78,7--19: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:79,11--14: Type error: expected Bool, got Int -alt/error_expr_not_ok_alt5.nit:79,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:80,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:81,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:82,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:83,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:84,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:85,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:86,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:87,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:88,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:89,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:90,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:91,7--17: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:92,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:93,7--14: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:94,7--17: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:95,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:96,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:97,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:98,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:99,7--15: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:100,7--18: Type error: expected A, got Bool -alt/error_expr_not_ok_alt5.nit:101,7--16: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:102,7--16: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:103,7--19: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:104,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:105,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:106,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:107,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:108,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:109,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:110,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:111,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:112,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:113,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:114,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:115,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:116,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:117,7--14: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:118,7--17: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:119,7--11: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:122,7--15: Error: Attribute _fail doesn't exists in String. -alt/error_expr_not_ok_alt5.nit:123,1--13: Error: Attribute _fail doesn't exists in String. -alt/error_expr_not_ok_alt5.nit:124,1--14: Error: Attribute _fail doesn't exists in String. -alt/error_expr_not_ok_alt5.nit:126,7--13: Error: Attribute _x doesn't exists in Int. -alt/error_expr_not_ok_alt5.nit:127,1--11: Error: Attribute _x doesn't exists in Int. -alt/error_expr_not_ok_alt5.nit:128,1--12: Error: Attribute _x doesn't exists in Int. -alt/error_expr_not_ok_alt5.nit:131,7--15: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:134,7--13: Error: Method '[]' doesn't exists in Int. -alt/error_expr_not_ok_alt5.nit:135,1--11: Error: Method '[]=' doesn't exists in Int. -alt/error_expr_not_ok_alt5.nit:136,1--12: Error: Method '[]' doesn't exists in Int. -alt/error_expr_not_ok_alt5.nit:137,1--17: Error: Method '[]=' doesn't exists in Int. -alt/error_expr_not_ok_alt5.nit:139,7--15: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt5.nit:140,7--15: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt5.nit:141,7--18: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt5.nit:142,7--15: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt5.nit:143,7--15: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt5.nit:144,7--18: Type error: expected A, got Range[Int] -alt/error_expr_not_ok_alt5.nit:145,7--15: Type error: expected A, got Array[Int] -alt/error_expr_not_ok_alt5.nit:146,7--15: Type error: expected A, got Array[Int] -alt/error_expr_not_ok_alt5.nit:147,7--18: Type error: expected A, got Array[Int] -alt/error_expr_not_ok_alt5.nit:149,7--24: Type error: expected A, got String -alt/error_expr_not_ok_alt5.nit:150,7--18: Warning: Expression is already a Int. -alt/error_expr_not_ok_alt5.nit:150,7--18: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:151,7--23: Type error: expected A, got Int -alt/error_expr_not_ok_alt5.nit:152,7--18: Warning: Expression is already a Int. -alt/error_expr_not_ok_alt5.nit:152,7--18: Type error: expected A, got Bool diff --git a/tests/sav/nitg-e/error_expr_not_ok_alt6.res b/tests/sav/nitg-e/error_expr_not_ok_alt6.res deleted file mode 100644 index afbbbd8..0000000 --- a/tests/sav/nitg-e/error_expr_not_ok_alt6.res +++ /dev/null @@ -1,109 +0,0 @@ -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: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. -alt/error_expr_not_ok_alt6.nit:25,9--12: Error: Method or variable 'fail' unknown in A. -alt/error_expr_not_ok_alt6.nit:40,1--7: Error: Method 'fail' doesn't exists in Int. -alt/error_expr_not_ok_alt6.nit:41,16--19: Type error: expected Int, got null -alt/error_expr_not_ok_alt6.nit:42,7--9: Type error: expected A, got Int -alt/error_expr_not_ok_alt6.nit:43,1--8: Error: Method 'fail' doesn't exists in Int. -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: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:69,24: Type error: expected A, got Int -alt/error_expr_not_ok_alt6.nit:69,1--25: Type Error: Expected method 'iterator' in type 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: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: 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--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 diff --git a/tests/sav/nitg-e/error_needed_method_alt2.res b/tests/sav/nitg-e/error_needed_method_alt2.res deleted file mode 100644 index 557ff19..0000000 --- a/tests/sav/nitg-e/error_needed_method_alt2.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/error_needed_method_alt2.nit:47,10--27: Error: Method 'init' doesn't exists in Collection[Int]. -alt/error_needed_method_alt2.nit:47,1--40: Type Error: Expected method 'iterator' in type Collection[Int] diff --git a/tests/sav/nitg-e/error_needed_types_alt8.res b/tests/sav/nitg-e/error_needed_types_alt8.res deleted file mode 100644 index e0c62db..0000000 --- a/tests/sav/nitg-e/error_needed_types_alt8.res +++ /dev/null @@ -1 +0,0 @@ -alt/error_needed_types_alt8.nit:21,1--22,3: Type Error: Expected method 'iterator' in type L diff --git a/tests/sav/nitg-e/fixme/base_virtual_type_check.res b/tests/sav/nitg-e/fixme/base_virtual_type_check.res deleted file mode 100644 index b0af044..0000000 --- a/tests/sav/nitg-e/fixme/base_virtual_type_check.res +++ /dev/null @@ -1,26 +0,0 @@ -J