tests: clean and update sav/nitg-e

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/tests/sav/nitg-e/base_class_name.res b/tests/sav/nitg-e/base_class_name.res
new file mode 100644 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
index b0af044..0000000
--- a/tests/sav/nitg-e/fixme/base_virtual_type_check.res
+++ /dev/null
@@ -1,26 +0,0 @@
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-K<T
-L<T
-K<U
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-L<U

diff --git a/tests/sav/nitg-e/fixme/base_virtual_type_check_alt10.res b/tests/sav/nitg-e/fixme/base_virtual_type_check_alt10.res
deleted file mode 100644 (file)
index fb736c7..0000000
--- a/tests/sav/nitg-e/fixme/base_virtual_type_check_alt10.res
+++ /dev/null
@@ -1,27 +0,0 @@
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-K<T
-L<T
-K<U
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-K<U
-L<U

diff --git a/tests/sav/nitg-e/fixme/base_virtual_type_check_alt8.res b/tests/sav/nitg-e/fixme/base_virtual_type_check_alt8.res
deleted file mode 100644 (file)
index 2c6e47e..0000000
--- a/tests/sav/nitg-e/fixme/base_virtual_type_check_alt8.res
+++ /dev/null
@@ -1,27 +0,0 @@
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-K<T
-L<T
-K<U
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-K<T
-L<T
-L<U