tests: update because resolved types are in error messages

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

diff --git a/tests/sav/base_upcast2_1alt1_alt10.res b/tests/sav/base_upcast2_1alt1_alt10.res
index 99abb44..28f095a 100644 (file)
--- a/tests/sav/base_upcast2_1alt1_alt10.res
+++ b/tests/sav/base_upcast2_1alt1_alt10.res
@@ -1 +1 @@
-alt/base_upcast2_1alt1_alt10.nit:36,21: Type error: expected C, got T
+alt/base_upcast2_1alt1_alt10.nit:36,21: Type error: expected C, got T: A[Int]

diff --git a/tests/sav/base_upcast2_1alt1_alt7.res b/tests/sav/base_upcast2_1alt1_alt7.res
index 29fe46d..15ba7c3 100644 (file)
--- a/tests/sav/base_upcast2_1alt1_alt7.res
+++ b/tests/sav/base_upcast2_1alt1_alt7.res
@@ -1 +1 @@
-alt/base_upcast2_1alt1_alt7.nit:33,22: Type error: expected A[Bool], got T
+alt/base_upcast2_1alt1_alt7.nit:33,22: Type error: expected A[Bool], got T: A[Int]

diff --git a/tests/sav/base_upcast2_1alt1_alt8.res b/tests/sav/base_upcast2_1alt1_alt8.res
index 4f33a48..a7f751c 100644 (file)
--- a/tests/sav/base_upcast2_1alt1_alt8.res
+++ b/tests/sav/base_upcast2_1alt1_alt8.res
@@ -1 +1 @@
-alt/base_upcast2_1alt1_alt8.nit:34,22: Type error: expected B[Int], got T
+alt/base_upcast2_1alt1_alt8.nit:34,22: Type error: expected B[Int], got T: A[Int]

diff --git a/tests/sav/base_upcast2_1alt1_alt9.res b/tests/sav/base_upcast2_1alt1_alt9.res
index 3191dca..98420d0 100644 (file)
--- a/tests/sav/base_upcast2_1alt1_alt9.res
+++ b/tests/sav/base_upcast2_1alt1_alt9.res
@@ -1 +1 @@
-alt/base_upcast2_1alt1_alt9.nit:35,22: Type error: expected B[Bool], got T
+alt/base_upcast2_1alt1_alt9.nit:35,22: Type error: expected B[Bool], got T: A[Int]

diff --git a/tests/sav/base_upcast2_1alt2_alt10.res b/tests/sav/base_upcast2_1alt2_alt10.res
index 8d013a7..8ef15ac 100644 (file)
--- a/tests/sav/base_upcast2_1alt2_alt10.res
+++ b/tests/sav/base_upcast2_1alt2_alt10.res
@@ -1 +1 @@
-alt/base_upcast2_1alt2_alt10.nit:36,21: Type error: expected C, got T
+alt/base_upcast2_1alt2_alt10.nit:36,21: Type error: expected C, got T: A[Bool]

diff --git a/tests/sav/base_upcast2_1alt2_alt6.res b/tests/sav/base_upcast2_1alt2_alt6.res
index afb8ffe..016d020 100644 (file)
--- a/tests/sav/base_upcast2_1alt2_alt6.res
+++ b/tests/sav/base_upcast2_1alt2_alt6.res
@@ -1 +1 @@
-alt/base_upcast2_1alt2_alt6.nit:32,22: Type error: expected A[Int], got T
+alt/base_upcast2_1alt2_alt6.nit:32,22: Type error: expected A[Int], got T: A[Bool]

diff --git a/tests/sav/base_upcast2_1alt2_alt8.res b/tests/sav/base_upcast2_1alt2_alt8.res
index ab7c7d3..cdbac7a 100644 (file)
--- a/tests/sav/base_upcast2_1alt2_alt8.res
+++ b/tests/sav/base_upcast2_1alt2_alt8.res
@@ -1 +1 @@
-alt/base_upcast2_1alt2_alt8.nit:34,22: Type error: expected B[Int], got T
+alt/base_upcast2_1alt2_alt8.nit:34,22: Type error: expected B[Int], got T: A[Bool]

diff --git a/tests/sav/base_upcast2_1alt2_alt9.res b/tests/sav/base_upcast2_1alt2_alt9.res
index c687866..2b3c257 100644 (file)
--- a/tests/sav/base_upcast2_1alt2_alt9.res
+++ b/tests/sav/base_upcast2_1alt2_alt9.res
@@ -1 +1 @@
-alt/base_upcast2_1alt2_alt9.nit:35,22: Type error: expected B[Bool], got T
+alt/base_upcast2_1alt2_alt9.nit:35,22: Type error: expected B[Bool], got T: A[Bool]

diff --git a/tests/sav/base_upcast2_1alt3_alt10.res b/tests/sav/base_upcast2_1alt3_alt10.res
index b64929b..975c3fb 100644 (file)
--- a/tests/sav/base_upcast2_1alt3_alt10.res
+++ b/tests/sav/base_upcast2_1alt3_alt10.res
@@ -1 +1 @@
-alt/base_upcast2_1alt3_alt10.nit:36,21: Type error: expected C, got T
+alt/base_upcast2_1alt3_alt10.nit:36,21: Type error: expected C, got T: B[Int]

diff --git a/tests/sav/base_upcast2_1alt3_alt7.res b/tests/sav/base_upcast2_1alt3_alt7.res
index b2aeba1..e44436b 100644 (file)
--- a/tests/sav/base_upcast2_1alt3_alt7.res
+++ b/tests/sav/base_upcast2_1alt3_alt7.res
@@ -1 +1 @@
-alt/base_upcast2_1alt3_alt7.nit:33,22: Type error: expected A[Bool], got T
+alt/base_upcast2_1alt3_alt7.nit:33,22: Type error: expected A[Bool], got T: B[Int]

diff --git a/tests/sav/base_upcast2_1alt3_alt9.res b/tests/sav/base_upcast2_1alt3_alt9.res
index f6151ca..1f17f5f 100644 (file)
--- a/tests/sav/base_upcast2_1alt3_alt9.res
+++ b/tests/sav/base_upcast2_1alt3_alt9.res
@@ -1 +1 @@
-alt/base_upcast2_1alt3_alt9.nit:35,22: Type error: expected B[Bool], got T
+alt/base_upcast2_1alt3_alt9.nit:35,22: Type error: expected B[Bool], got T: B[Int]

diff --git a/tests/sav/base_upcast2_1alt4_alt10.res b/tests/sav/base_upcast2_1alt4_alt10.res
index 7943796..37d0456 100644 (file)
--- a/tests/sav/base_upcast2_1alt4_alt10.res
+++ b/tests/sav/base_upcast2_1alt4_alt10.res
@@ -1 +1 @@
-alt/base_upcast2_1alt4_alt10.nit:36,21: Type error: expected C, got T
+alt/base_upcast2_1alt4_alt10.nit:36,21: Type error: expected C, got T: B[Bool]

diff --git a/tests/sav/base_upcast2_1alt4_alt7.res b/tests/sav/base_upcast2_1alt4_alt7.res
index 1ce4304..a9f7c8b 100644 (file)
--- a/tests/sav/base_upcast2_1alt4_alt7.res
+++ b/tests/sav/base_upcast2_1alt4_alt7.res
@@ -1 +1 @@
-alt/base_upcast2_1alt4_alt7.nit:33,22: Type error: expected A[Bool], got T
+alt/base_upcast2_1alt4_alt7.nit:33,22: Type error: expected A[Bool], got T: B[Bool]

diff --git a/tests/sav/base_upcast2_1alt4_alt8.res b/tests/sav/base_upcast2_1alt4_alt8.res
index a636739..821b826 100644 (file)
--- a/tests/sav/base_upcast2_1alt4_alt8.res
+++ b/tests/sav/base_upcast2_1alt4_alt8.res
@@ -1 +1 @@
-alt/base_upcast2_1alt4_alt8.nit:34,22: Type error: expected B[Int], got T
+alt/base_upcast2_1alt4_alt8.nit:34,22: Type error: expected B[Int], got T: B[Bool]

diff --git a/tests/sav/base_upcast2_1alt5_alt7.res b/tests/sav/base_upcast2_1alt5_alt7.res
index a670740..9d35793 100644 (file)
--- a/tests/sav/base_upcast2_1alt5_alt7.res
+++ b/tests/sav/base_upcast2_1alt5_alt7.res
@@ -1 +1 @@
-alt/base_upcast2_1alt5_alt7.nit:33,22: Type error: expected A[Bool], got T
+alt/base_upcast2_1alt5_alt7.nit:33,22: Type error: expected A[Bool], got T: C

diff --git a/tests/sav/base_upcast2_1alt5_alt8.res b/tests/sav/base_upcast2_1alt5_alt8.res
index ce4fd54..5ce490d 100644 (file)
--- a/tests/sav/base_upcast2_1alt5_alt8.res
+++ b/tests/sav/base_upcast2_1alt5_alt8.res
@@ -1 +1 @@
-alt/base_upcast2_1alt5_alt8.nit:34,22: Type error: expected B[Int], got T
+alt/base_upcast2_1alt5_alt8.nit:34,22: Type error: expected B[Int], got T: C

diff --git a/tests/sav/base_virtual_type_self_alt5.res b/tests/sav/base_virtual_type_self_alt5.res
index 397a44a..44a485a 100644 (file)
--- a/tests/sav/base_virtual_type_self_alt5.res
+++ b/tests/sav/base_virtual_type_self_alt5.res
@@ -1,3 +1,3 @@
 alt/base_virtual_type_self_alt5.nit:44,9: Type error: expected A[U], got Float
-alt/base_virtual_type_self_alt5.nit:45,7--12: Type error: expected Float, got A[U]
-alt/base_virtual_type_self_alt5.nit:47,7--12: Type error: expected Float, got A[A[U]]
+alt/base_virtual_type_self_alt5.nit:45,7--12: Type error: expected Float, got A[U]: A[Int]
+alt/base_virtual_type_self_alt5.nit:47,7--12: Type error: expected Float, got A[A[U]]: A[A[Int]]