tests: update error messages in some sav/

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

diff --git a/tests/sav/base_as_notnull2.res b/tests/sav/base_as_notnull2.res
index a64bbf0..b0818df 100644 (file)
--- a/tests/sav/base_as_notnull2.res
+++ b/tests/sav/base_as_notnull2.res
@@ -1,5 +1,5 @@
-base_as_notnull2.nit:30,12--25: Warning: expression is already not null, since it is a `E: Object`.
-base_as_notnull2.nit:50,12--25: Warning: expression is already not null, since it is a `E: Object`.
+base_as_notnull2.nit:30,12--25: Warning: expression is already not null, since it is a `Object`.
+base_as_notnull2.nit:50,12--25: Warning: expression is already not null, since it is a `F: Object`.
 1
 1
 2

diff --git a/tests/sav/base_as_notnull2_alt1.res b/tests/sav/base_as_notnull2_alt1.res
index a28e2e1..01ee624 100644 (file)
--- a/tests/sav/base_as_notnull2_alt1.res
+++ b/tests/sav/base_as_notnull2_alt1.res
@@ -1,3 +1,3 @@
-alt/base_as_notnull2_alt1.nit:30,12--25: Warning: expression is already not null, since it is a `E: Object`.
-alt/base_as_notnull2_alt1.nit:50,12--25: Warning: expression is already not null, since it is a `E: Object`.
+alt/base_as_notnull2_alt1.nit:30,12--25: Warning: expression is already not null, since it is a `Object`.
+alt/base_as_notnull2_alt1.nit:50,12--25: Warning: expression is already not null, since it is a `F: Object`.
 alt/base_as_notnull2_alt1.nit:58,7--10: Type error: expected Object, got null

diff --git a/tests/sav/base_as_notnull2_alt2.res b/tests/sav/base_as_notnull2_alt2.res
index ccaa594..e6335c5 100644 (file)
--- a/tests/sav/base_as_notnull2_alt2.res
+++ b/tests/sav/base_as_notnull2_alt2.res
@@ -1,5 +1,5 @@
-alt/base_as_notnull2_alt2.nit:30,12--25: Warning: expression is already not null, since it is a `E: Object`.
-alt/base_as_notnull2_alt2.nit:50,12--25: Warning: expression is already not null, since it is a `E: Object`.
+alt/base_as_notnull2_alt2.nit:30,12--25: Warning: expression is already not null, since it is a `Object`.
+alt/base_as_notnull2_alt2.nit:50,12--25: Warning: expression is already not null, since it is a `F: Object`.
 Runtime error: Cast failed (alt/base_as_notnull2_alt2.nit:40)
 1
 1

diff --git a/tests/sav/base_as_notnull2_alt3.res b/tests/sav/base_as_notnull2_alt3.res
index 7ce3a5b..4fb6e73 100644 (file)
--- a/tests/sav/base_as_notnull2_alt3.res
+++ b/tests/sav/base_as_notnull2_alt3.res
@@ -1,3 +1,3 @@
-alt/base_as_notnull2_alt3.nit:30,12--25: Warning: expression is already not null, since it is a `E: Object`.
-alt/base_as_notnull2_alt3.nit:50,12--25: Warning: expression is already not null, since it is a `E: Object`.
+alt/base_as_notnull2_alt3.nit:30,12--25: Warning: expression is already not null, since it is a `Object`.
+alt/base_as_notnull2_alt3.nit:50,12--25: Warning: expression is already not null, since it is a `F: Object`.
 alt/base_as_notnull2_alt3.nit:64,7--10: Type error: expected Int, got null

diff --git a/tests/sav/base_gen_variance2_alt1.res b/tests/sav/base_gen_variance2_alt1.res
index 4b49330..9ac131b 100644 (file)
--- a/tests/sav/base_gen_variance2_alt1.res
+++ b/tests/sav/base_gen_variance2_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed. Expected `E`, got `B` (alt/base_gen_variance2_alt1.nit:27)
+Runtime error: Cast failed. Expected `F`, got `B` (alt/base_gen_variance2_alt1.nit:27)
 3

diff --git a/tests/sav/base_gen_variance2_alt2.res b/tests/sav/base_gen_variance2_alt2.res
index 10f4ba7..27315ba 100644 (file)
--- a/tests/sav/base_gen_variance2_alt2.res
+++ b/tests/sav/base_gen_variance2_alt2.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed. Expected `E`, got `D` (alt/base_gen_variance2_alt2.nit:27)
+Runtime error: Cast failed. Expected `F`, got `D` (alt/base_gen_variance2_alt2.nit:27)
 3

diff --git a/tests/sav/base_gen_variance3_alt1.res b/tests/sav/base_gen_variance3_alt1.res
index f450e1f..c6eef59 100644 (file)
--- a/tests/sav/base_gen_variance3_alt1.res
+++ b/tests/sav/base_gen_variance3_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed. Expected `E`, got `D` (alt/base_gen_variance3_alt1.nit:27)
+Runtime error: Cast failed. Expected `B`, got `D` (alt/base_gen_variance3_alt1.nit:27)
 2

diff --git a/tests/sav/base_gen_variance_int_alt1.res b/tests/sav/base_gen_variance_int_alt1.res
index f912514..3c8702a 100644 (file)
--- a/tests/sav/base_gen_variance_int_alt1.res
+++ b/tests/sav/base_gen_variance_int_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed. Expected `E`, got `Char` (alt/base_gen_variance_int_alt1.nit:27)
+Runtime error: Cast failed. Expected `Int`, got `Char` (alt/base_gen_variance_int_alt1.nit:27)
 2