tests: update to show types on runtime cast errors

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

diff --git a/tests/sav/base_as_cast_alt1.res b/tests/sav/base_as_cast_alt1.res
index b8bd435..608a97e 100644 (file)
--- a/tests/sav/base_as_cast_alt1.res
+++ b/tests/sav/base_as_cast_alt1.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt1.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt1.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt1.nit:45)
+Runtime error: Cast failed. Expected `U`, got `A` (alt/base_as_cast_alt1.nit:45)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt2.res b/tests/sav/base_as_cast_alt2.res
index 4222067..0a574f3 100644 (file)
--- a/tests/sav/base_as_cast_alt2.res
+++ b/tests/sav/base_as_cast_alt2.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt2.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt2.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt2.nit:46)
+Runtime error: Cast failed. Expected `B`, got `A` (alt/base_as_cast_alt2.nit:46)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt3.res b/tests/sav/base_as_cast_alt3.res
index 4dcc2ef..f469755 100644 (file)
--- a/tests/sav/base_as_cast_alt3.res
+++ b/tests/sav/base_as_cast_alt3.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt3.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt3.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt3.nit:47)
+Runtime error: Cast failed. Expected `Int`, got `A` (alt/base_as_cast_alt3.nit:47)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt4.res b/tests/sav/base_as_cast_alt4.res
index 685be2d..2f864de 100644 (file)
--- a/tests/sav/base_as_cast_alt4.res
+++ b/tests/sav/base_as_cast_alt4.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt4.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt4.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt4.nit:48)
+Runtime error: Cast failed. Expected `Comparable`, got `A` (alt/base_as_cast_alt4.nit:48)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt5.res b/tests/sav/base_as_cast_alt5.res
index 802a10c..c5e662d 100644 (file)
--- a/tests/sav/base_as_cast_alt5.res
+++ b/tests/sav/base_as_cast_alt5.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt5.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt5.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt5.nit:57)
+Runtime error: Cast failed. Expected `Int`, got `B` (alt/base_as_cast_alt5.nit:57)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt6.res b/tests/sav/base_as_cast_alt6.res
index 597f534..16abdb8 100644 (file)
--- a/tests/sav/base_as_cast_alt6.res
+++ b/tests/sav/base_as_cast_alt6.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt6.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt6.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt6.nit:58)
+Runtime error: Cast failed. Expected `Comparable`, got `B` (alt/base_as_cast_alt6.nit:58)
 0
 0
 0

diff --git a/tests/sav/base_autocast_alt1.res b/tests/sav/base_autocast_alt1.res
index 1295fbb..64e8ec9 100644 (file)
--- a/tests/sav/base_autocast_alt1.res
+++ b/tests/sav/base_autocast_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (alt/base_autocast_alt1.nit:22)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_autocast_alt1.nit:22)
 1
 2

diff --git a/tests/sav/base_autocast_alt2.res b/tests/sav/base_autocast_alt2.res
index 0c023ba..8788ee7 100644 (file)
--- a/tests/sav/base_autocast_alt2.res
+++ b/tests/sav/base_autocast_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_autocast_alt2.nit:23)
+Runtime error: Cast failed. Expected `V`, got `Int` (alt/base_autocast_alt2.nit:23)
 1
 2
 1

diff --git a/tests/sav/base_conflict_class_name_alt1.res b/tests/sav/base_conflict_class_name_alt1.res
index 461bf28..1a3d5a2 100644 (file)
--- a/tests/sav/base_conflict_class_name_alt1.res
+++ b/tests/sav/base_conflict_class_name_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (base_conflict_class_name_submodule1.nit:22)
+Runtime error: Cast failed. Expected `A`, got `A` (base_conflict_class_name_submodule1.nit:22)
 1
 2

diff --git a/tests/sav/base_conflict_class_name_alt2.res b/tests/sav/base_conflict_class_name_alt2.res
index a158579..73d0a8a 100644 (file)
--- a/tests/sav/base_conflict_class_name_alt2.res
+++ b/tests/sav/base_conflict_class_name_alt2.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (base_conflict_class_name_submodule2.nit:22)
+Runtime error: Cast failed. Expected `A`, got `A` (base_conflict_class_name_submodule2.nit:22)
 1
 2

diff --git a/tests/sav/base_conflict_submodule_name_alt1.res b/tests/sav/base_conflict_submodule_name_alt1.res
index 720c5a6..c2024f9 100644 (file)
--- a/tests/sav/base_conflict_submodule_name_alt1.res
+++ b/tests/sav/base_conflict_submodule_name_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (base_conflict_submodule_name_submodule1/submodule.nit:22)
+Runtime error: Cast failed. Expected `A`, got `A` (base_conflict_submodule_name_submodule1/submodule.nit:22)
 1
 2

diff --git a/tests/sav/base_conflict_submodule_name_alt2.res b/tests/sav/base_conflict_submodule_name_alt2.res
index 56cdd15..d848e6e 100644 (file)
--- a/tests/sav/base_conflict_submodule_name_alt2.res
+++ b/tests/sav/base_conflict_submodule_name_alt2.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (base_conflict_submodule_name_submodule2/submodule.nit:22)
+Runtime error: Cast failed. Expected `A`, got `A` (base_conflict_submodule_name_submodule2/submodule.nit:22)
 1
 2

diff --git a/tests/sav/base_covar_gen_1alt1_alt1.res b/tests/sav/base_covar_gen_1alt1_alt1.res
index 1387e09..5a6459b 100644 (file)
--- a/tests/sav/base_covar_gen_1alt1_alt1.res
+++ b/tests/sav/base_covar_gen_1alt1_alt1.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/base_covar_gen_1alt1_alt1.nit:19)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_covar_gen_1alt1_alt1.nit:19)

diff --git a/tests/sav/base_covar_gen_1alt1_alt2.res b/tests/sav/base_covar_gen_1alt1_alt2.res
index 22ec588..1533602 100644 (file)
--- a/tests/sav/base_covar_gen_1alt1_alt2.res
+++ b/tests/sav/base_covar_gen_1alt1_alt2.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/base_covar_gen_1alt1_alt2.nit:18)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_covar_gen_1alt1_alt2.nit:18)

diff --git a/tests/sav/base_covar_gen_alt3.res b/tests/sav/base_covar_gen_alt3.res
index 74374bf..3c2c470 100644 (file)
--- a/tests/sav/base_covar_gen_alt3.res
+++ b/tests/sav/base_covar_gen_alt3.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/base_covar_gen_alt3.nit:19)
+Runtime error: Cast failed. Expected `G#0`, got `G[Object]` (alt/base_covar_gen_alt3.nit:19)

diff --git a/tests/sav/base_covar_gen_alt4.res b/tests/sav/base_covar_gen_alt4.res
index b89e885..31237a8 100644 (file)
--- a/tests/sav/base_covar_gen_alt4.res
+++ b/tests/sav/base_covar_gen_alt4.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/base_covar_gen_alt4.nit:18)
+Runtime error: Cast failed. Expected `G#0`, got `G[Object]` (alt/base_covar_gen_alt4.nit:18)

diff --git a/tests/sav/base_covar_int2_alt1.res b/tests/sav/base_covar_int2_alt1.res
index 082b9bb..c2ac479 100644 (file)
--- a/tests/sav/base_covar_int2_alt1.res
+++ b/tests/sav/base_covar_int2_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (alt/base_covar_int2_alt1.nit:31)
+Runtime error: Cast failed. Expected `V`, got `Int` (alt/base_covar_int2_alt1.nit:31)
 1
 1

diff --git a/tests/sav/base_covar_int2_alt3.res b/tests/sav/base_covar_int2_alt3.res
index 8ef66ae..3c70f09 100644 (file)
--- a/tests/sav/base_covar_int2_alt3.res
+++ b/tests/sav/base_covar_int2_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_covar_int2_alt3.nit:31)
+Runtime error: Cast failed. Expected `V`, got `Int` (alt/base_covar_int2_alt3.nit:31)
 1
 1
 1

diff --git a/tests/sav/base_covar_int2_alt5.res b/tests/sav/base_covar_int2_alt5.res
index 37bc196..ad59d12 100644 (file)
--- a/tests/sav/base_covar_int2_alt5.res
+++ b/tests/sav/base_covar_int2_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_covar_int2_alt5.nit:25)
+Runtime error: Cast failed. Expected `V`, got `Char` (alt/base_covar_int2_alt5.nit:25)
 1
 1
 1

diff --git a/tests/sav/base_covar_int_alt1.res b/tests/sav/base_covar_int_alt1.res
index 3737884..5ad7994 100644 (file)
--- a/tests/sav/base_covar_int_alt1.res
+++ b/tests/sav/base_covar_int_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:455)
+Runtime error: Cast failed. Expected `OTHER`, got `Int` (../lib/standard/kernel.nit:455)
 true
 true

diff --git a/tests/sav/base_covar_int_alt3.res b/tests/sav/base_covar_int_alt3.res
index b101a94..047ff92 100644 (file)
--- a/tests/sav/base_covar_int_alt3.res
+++ b/tests/sav/base_covar_int_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:455)
+Runtime error: Cast failed. Expected `OTHER`, got `Int` (../lib/standard/kernel.nit:455)
 true
 true
 true

diff --git a/tests/sav/base_covar_int_alt5.res b/tests/sav/base_covar_int_alt5.res
index eaf44f6..02e4d88 100644 (file)
--- a/tests/sav/base_covar_int_alt5.res
+++ b/tests/sav/base_covar_int_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:257)
+Runtime error: Cast failed. Expected `OTHER`, got `Char` (../lib/standard/kernel.nit:257)
 true
 true
 true

diff --git a/tests/sav/base_gen_reassign_alt1.res b/tests/sav/base_gen_reassign_alt1.res
index e41e8af..e789485 100644 (file)
--- a/tests/sav/base_gen_reassign_alt1.res
+++ b/tests/sav/base_gen_reassign_alt1.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt1.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt1.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_reassign_alt2.res b/tests/sav/base_gen_reassign_alt2.res
index 37bc710..b8b97b2 100644 (file)
--- a/tests/sav/base_gen_reassign_alt2.res
+++ b/tests/sav/base_gen_reassign_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt2.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt2.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_reassign_alt4.res b/tests/sav/base_gen_reassign_alt4.res
index 75b5a77..2e6e40b 100644 (file)
--- a/tests/sav/base_gen_reassign_alt4.res
+++ b/tests/sav/base_gen_reassign_alt4.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt4.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt4.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_reassign_alt5.res b/tests/sav/base_gen_reassign_alt5.res
index 26d0b6a..3c233b9 100644 (file)
--- a/tests/sav/base_gen_reassign_alt5.res
+++ b/tests/sav/base_gen_reassign_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt5.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt5.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_reassign_alt6.res b/tests/sav/base_gen_reassign_alt6.res
index a23dbe8..dd598d3 100644 (file)
--- a/tests/sav/base_gen_reassign_alt6.res
+++ b/tests/sav/base_gen_reassign_alt6.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt6.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt6.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_variance2_alt1.res b/tests/sav/base_gen_variance2_alt1.res
index 402daaf..1ad479a 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 (alt/base_gen_variance2_alt1.nit:27)
+Runtime error: Cast failed. Expected `G#0`, 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 7a12258..2528c5e 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 (alt/base_gen_variance2_alt2.nit:27)
+Runtime error: Cast failed. Expected `G#0`, 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 263544e..26d887d 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 (alt/base_gen_variance3_alt1.nit:27)
+Runtime error: Cast failed. Expected `G#0`, got `D` (alt/base_gen_variance3_alt1.nit:27)
 2

diff --git a/tests/sav/base_gen_variance_alt2.res b/tests/sav/base_gen_variance_alt2.res
index 827d055..db3b9c2 100644 (file)
--- a/tests/sav/base_gen_variance_alt2.res
+++ b/tests/sav/base_gen_variance_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt2.nit:60)
+Runtime error: Cast failed. Expected `B`, got `C` (alt/base_gen_variance_alt2.nit:60)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt3.res b/tests/sav/base_gen_variance_alt3.res
index 5637463..a81c369 100644 (file)
--- a/tests/sav/base_gen_variance_alt3.res
+++ b/tests/sav/base_gen_variance_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt3.nit:18)
+Runtime error: Cast failed. Expected `nullable G#0`, got `C` (alt/base_gen_variance_alt3.nit:18)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt5.res b/tests/sav/base_gen_variance_alt5.res
index fb8381e..0652137 100644 (file)
--- a/tests/sav/base_gen_variance_alt5.res
+++ b/tests/sav/base_gen_variance_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt5.nit:97)
+Runtime error: Cast failed. Expected `G[B]`, got `G[C]` (alt/base_gen_variance_alt5.nit:97)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt6.res b/tests/sav/base_gen_variance_alt6.res
index 3bf0896..8b857dc 100644 (file)
--- a/tests/sav/base_gen_variance_alt6.res
+++ b/tests/sav/base_gen_variance_alt6.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt6.nit:18)
+Runtime error: Cast failed. Expected `nullable G#0`, got `G[C]` (alt/base_gen_variance_alt6.nit:18)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt7.res b/tests/sav/base_gen_variance_alt7.res
index 662501c..4fb270c 100644 (file)
--- a/tests/sav/base_gen_variance_alt7.res
+++ b/tests/sav/base_gen_variance_alt7.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt7.nit:112)
+Runtime error: Cast failed. Expected `G[B]`, got `G[A]` (alt/base_gen_variance_alt7.nit:112)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt8.res b/tests/sav/base_gen_variance_alt8.res
index 02f0620..89e8b84 100644 (file)
--- a/tests/sav/base_gen_variance_alt8.res
+++ b/tests/sav/base_gen_variance_alt8.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt8.nit:18)
+Runtime error: Cast failed. Expected `nullable G#0`, got `G[A]` (alt/base_gen_variance_alt8.nit:18)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_int_alt1.res b/tests/sav/base_gen_variance_int_alt1.res
index d686605..3057795 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 (alt/base_gen_variance_int_alt1.nit:27)
+Runtime error: Cast failed. Expected `G#0`, got `Char` (alt/base_gen_variance_int_alt1.nit:27)
 2

diff --git a/tests/sav/base_virtual_int2_alt2.res b/tests/sav/base_virtual_int2_alt2.res
index 2dbe41a..f7665f5 100644 (file)
--- a/tests/sav/base_virtual_int2_alt2.res
+++ b/tests/sav/base_virtual_int2_alt2.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (alt/base_virtual_int2_alt2.nit:25)
+Runtime error: Cast failed. Expected `V`, got `Char` (alt/base_virtual_int2_alt2.nit:25)
 4
 4

diff --git a/tests/sav/base_virtual_int_alt2.res b/tests/sav/base_virtual_int_alt2.res
index 5b7dc29..7d83297 100644 (file)
--- a/tests/sav/base_virtual_int_alt2.res
+++ b/tests/sav/base_virtual_int_alt2.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:256)
+Runtime error: Cast failed. Expected `OTHER`, got `Char` (../lib/standard/kernel.nit:256)
 true
 true

diff --git a/tests/sav/base_virtual_type_check_alt10.res b/tests/sav/base_virtual_type_check_alt10.res
index 727b8b4..ccbaa86 100644 (file)
--- a/tests/sav/base_virtual_type_check_alt10.res
+++ b/tests/sav/base_virtual_type_check_alt10.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_check_alt10.nit:37)
+Runtime error: Cast failed. Expected `U`, got `K` (alt/base_virtual_type_check_alt10.nit:37)
 J<Tfalse
 J<Ufalse
 K<Ttrue

diff --git a/tests/sav/base_virtual_type_check_alt8.res b/tests/sav/base_virtual_type_check_alt8.res
index 9f2fb2d..4012fcb 100644 (file)
--- a/tests/sav/base_virtual_type_check_alt8.res
+++ b/tests/sav/base_virtual_type_check_alt8.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_check_alt8.nit:30)
+Runtime error: Cast failed. Expected `T`, got `K` (alt/base_virtual_type_check_alt8.nit:30)
 J<Tfalse
 J<Ufalse
 K<Ttrue

diff --git a/tests/sav/base_virtual_type_variance_alt2.res b/tests/sav/base_virtual_type_variance_alt2.res
index 1f934c0..55f2a76 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt2.res
+++ b/tests/sav/base_virtual_type_variance_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt2.nit:83)
+Runtime error: Cast failed. Expected `B`, got `C` (alt/base_virtual_type_variance_alt2.nit:83)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt3.res b/tests/sav/base_virtual_type_variance_alt3.res
index 52a7d99..fe0835a 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt3.res
+++ b/tests/sav/base_virtual_type_variance_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt3.nit:19)
+Runtime error: Cast failed. Expected `nullable E`, got `C` (alt/base_virtual_type_variance_alt3.nit:19)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt5.res b/tests/sav/base_virtual_type_variance_alt5.res
index 68bcfaa..7e4af65 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt5.res
+++ b/tests/sav/base_virtual_type_variance_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt5.nit:120)
+Runtime error: Cast failed. Expected `GB`, got `GC` (alt/base_virtual_type_variance_alt5.nit:120)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt6.res b/tests/sav/base_virtual_type_variance_alt6.res
index 9ad8c1d..3f037ef 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt6.res
+++ b/tests/sav/base_virtual_type_variance_alt6.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt6.nit:19)
+Runtime error: Cast failed. Expected `nullable E`, got `GC` (alt/base_virtual_type_variance_alt6.nit:19)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt7.res b/tests/sav/base_virtual_type_variance_alt7.res
index b4aba7a..4cf450f 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt7.res
+++ b/tests/sav/base_virtual_type_variance_alt7.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt7.nit:135)
+Runtime error: Cast failed. Expected `GB`, got `GA` (alt/base_virtual_type_variance_alt7.nit:135)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt8.res b/tests/sav/base_virtual_type_variance_alt8.res
index 83c7350..42666db 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt8.res
+++ b/tests/sav/base_virtual_type_variance_alt8.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt8.nit:19)
+Runtime error: Cast failed. Expected `nullable E`, got `GA` (alt/base_virtual_type_variance_alt8.nit:19)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_int_alt1.res b/tests/sav/base_virtual_type_variance_int_alt1.res
index 0dfe9a6..c99b400 100644 (file)
--- a/tests/sav/base_virtual_type_variance_int_alt1.res
+++ b/tests/sav/base_virtual_type_variance_int_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_int_alt1.nit:29)
+Runtime error: Cast failed. Expected `E`, got `Char` (alt/base_virtual_type_variance_int_alt1.nit:29)
 2

diff --git a/tests/sav/rterror_attr_def_alt4.res b/tests/sav/rterror_attr_def_alt4.res
index 2aaedf3..b543aee 100644 (file)
--- a/tests/sav/rterror_attr_def_alt4.res
+++ b/tests/sav/rterror_attr_def_alt4.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/rterror_attr_def_alt4.nit:28)
+Runtime error: Cast failed. Expected `I`, got `Char` (alt/rterror_attr_def_alt4.nit:28)

diff --git a/tests/sav/test_variance_param_alt1.res b/tests/sav/test_variance_param_alt1.res
index a74fbad..7cba780 100644 (file)
--- a/tests/sav/test_variance_param_alt1.res
+++ b/tests/sav/test_variance_param_alt1.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt1.nit:32)
+Runtime error: Cast failed. Expected `T`, got `A` (alt/test_variance_param_alt1.nit:32)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt2.res b/tests/sav/test_variance_param_alt2.res
index 7b413dc..1b12a7b 100644 (file)
--- a/tests/sav/test_variance_param_alt2.res
+++ b/tests/sav/test_variance_param_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt2.nit:33)
+Runtime error: Cast failed. Expected `U`, got `B` (alt/test_variance_param_alt2.nit:33)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt3.res b/tests/sav/test_variance_param_alt3.res
index ff011a1..002d4fe 100644 (file)
--- a/tests/sav/test_variance_param_alt3.res
+++ b/tests/sav/test_variance_param_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt3.nit:43)
+Runtime error: Cast failed. Expected `T`, got `A` (alt/test_variance_param_alt3.nit:43)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt4.res b/tests/sav/test_variance_param_alt4.res
index 31712f0..dbe4257 100644 (file)
--- a/tests/sav/test_variance_param_alt4.res
+++ b/tests/sav/test_variance_param_alt4.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt4.nit:43)
+Runtime error: Cast failed. Expected `T`, got `B` (alt/test_variance_param_alt4.nit:43)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt5.res b/tests/sav/test_variance_param_alt5.res
index 919856b..94ea11b 100644 (file)
--- a/tests/sav/test_variance_param_alt5.res
+++ b/tests/sav/test_variance_param_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt5.nit:44)
+Runtime error: Cast failed. Expected `U`, got `B` (alt/test_variance_param_alt5.nit:44)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt6.res b/tests/sav/test_variance_param_alt6.res
index d54a249..49151db 100644 (file)
--- a/tests/sav/test_variance_param_alt6.res
+++ b/tests/sav/test_variance_param_alt6.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt6.nit:43)
+Runtime error: Cast failed. Expected `T`, got `B` (alt/test_variance_param_alt6.nit:43)
 AB5
 B5
 5