From 742c1981b90a90c3e4250238cb7461f8856c8f42 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Sat, 4 Apr 2015 22:37:56 +0700 Subject: [PATCH] tests: update because resolved types are in error messages Signed-off-by: Jean Privat --- tests/sav/base_upcast2_1alt1_alt10.res | 2 +- tests/sav/base_upcast2_1alt1_alt7.res | 2 +- tests/sav/base_upcast2_1alt1_alt8.res | 2 +- tests/sav/base_upcast2_1alt1_alt9.res | 2 +- tests/sav/base_upcast2_1alt2_alt10.res | 2 +- tests/sav/base_upcast2_1alt2_alt6.res | 2 +- tests/sav/base_upcast2_1alt2_alt8.res | 2 +- tests/sav/base_upcast2_1alt2_alt9.res | 2 +- tests/sav/base_upcast2_1alt3_alt10.res | 2 +- tests/sav/base_upcast2_1alt3_alt7.res | 2 +- tests/sav/base_upcast2_1alt3_alt9.res | 2 +- tests/sav/base_upcast2_1alt4_alt10.res | 2 +- tests/sav/base_upcast2_1alt4_alt7.res | 2 +- tests/sav/base_upcast2_1alt4_alt8.res | 2 +- tests/sav/base_upcast2_1alt5_alt7.res | 2 +- tests/sav/base_upcast2_1alt5_alt8.res | 2 +- tests/sav/base_virtual_type_self_alt5.res | 4 ++-- 17 files changed, 18 insertions(+), 18 deletions(-) diff --git a/tests/sav/base_upcast2_1alt1_alt10.res b/tests/sav/base_upcast2_1alt1_alt10.res index 99abb44..28f095a 100644 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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]] -- 1.7.9.5