contracts: change the contract syntax

[nit.git] / tests / sav / base_upcast_alt1.res

diff --git a/tests/sav/base_upcast_alt1.res b/tests/sav/base_upcast_alt1.res
index 7a13355..cda5d84 100644 (file)
--- a/tests/sav/base_upcast_alt1.res
+++ b/tests/sav/base_upcast_alt1.res
@@ -1,33 +1,33 @@
-alt/base_upcast_alt1.nit:26,20--21: Type error: expected A[Int], got A[Bool]
-alt/base_upcast_alt1.nit:28,20--21: Type error: expected A[Int], got B[Bool]
-alt/base_upcast_alt1.nit:33,20--21: Type error: expected A[Bool], got A[Int]
-alt/base_upcast_alt1.nit:35,20--21: Type error: expected A[Bool], got B[Int]
-alt/base_upcast_alt1.nit:37,20--21: Type error: expected A[Bool], got C[Int]
-alt/base_upcast_alt1.nit:38,20--21: Type error: expected A[Bool], got C[Bool]
-alt/base_upcast_alt1.nit:39,20: Type error: expected A[Bool], got D
-alt/base_upcast_alt1.nit:41,20--21: Type error: expected B[Int], got A[Int]
-alt/base_upcast_alt1.nit:42,20--21: Type error: expected B[Int], got A[Bool]
-alt/base_upcast_alt1.nit:44,20--21: Type error: expected B[Int], got B[Bool]
-alt/base_upcast_alt1.nit:49,20--21: Type error: expected B[Bool], got A[Int]
-alt/base_upcast_alt1.nit:50,20--21: Type error: expected B[Bool], got A[Bool]
-alt/base_upcast_alt1.nit:51,20--21: Type error: expected B[Bool], got B[Int]
-alt/base_upcast_alt1.nit:53,20--21: Type error: expected B[Bool], got C[Int]
-alt/base_upcast_alt1.nit:54,20--21: Type error: expected B[Bool], got C[Bool]
-alt/base_upcast_alt1.nit:55,20: Type error: expected B[Bool], got D
-alt/base_upcast_alt1.nit:57,20--21: Type error: expected C[Bool], got A[Int]
-alt/base_upcast_alt1.nit:58,20--21: Type error: expected C[Int], got A[Bool]
-alt/base_upcast_alt1.nit:59,20--21: Type error: expected C[Int], got B[Int]
-alt/base_upcast_alt1.nit:60,20--21: Type error: expected C[Int], got B[Bool]
-alt/base_upcast_alt1.nit:62,20--21: Type error: expected C[Int], got C[Bool]
-alt/base_upcast_alt1.nit:63,20: Type error: expected C[Int], got D
-alt/base_upcast_alt1.nit:65,20--21: Type error: expected C[Bool], got A[Int]
-alt/base_upcast_alt1.nit:66,20--21: Type error: expected C[Bool], got A[Bool]
-alt/base_upcast_alt1.nit:67,20--21: Type error: expected C[Bool], got B[Int]
-alt/base_upcast_alt1.nit:68,20--21: Type error: expected C[Bool], got B[Bool]
-alt/base_upcast_alt1.nit:69,20--21: Type error: expected C[Bool], got C[Int]
-alt/base_upcast_alt1.nit:73,19--20: Type error: expected D, got A[Int]
-alt/base_upcast_alt1.nit:74,19--20: Type error: expected D, got A[Bool]
-alt/base_upcast_alt1.nit:75,19--20: Type error: expected D, got B[Int]
-alt/base_upcast_alt1.nit:76,19--20: Type error: expected D, got B[Bool]
-alt/base_upcast_alt1.nit:77,19--20: Type error: expected D, got C[Int]
-alt/base_upcast_alt1.nit:78,19--20: Type error: expected D, got C[Bool]
+alt/base_upcast_alt1.nit:26,20--21: Type Error: expected `A[Int]`, got `A[Bool]`.
+alt/base_upcast_alt1.nit:28,20--21: Type Error: expected `A[Int]`, got `B[Bool]`.
+alt/base_upcast_alt1.nit:33,20--21: Type Error: expected `A[Bool]`, got `A[Int]`.
+alt/base_upcast_alt1.nit:35,20--21: Type Error: expected `A[Bool]`, got `B[Int]`.
+alt/base_upcast_alt1.nit:37,20--21: Type Error: expected `A[Bool]`, got `C[Int]`.
+alt/base_upcast_alt1.nit:38,20--21: Type Error: expected `A[Bool]`, got `C[Bool]`.
+alt/base_upcast_alt1.nit:39,20: Type Error: expected `A[Bool]`, got `D`.
+alt/base_upcast_alt1.nit:41,20--21: Type Error: expected `B[Int]`, got `A[Int]`.
+alt/base_upcast_alt1.nit:42,20--21: Type Error: expected `B[Int]`, got `A[Bool]`.
+alt/base_upcast_alt1.nit:44,20--21: Type Error: expected `B[Int]`, got `B[Bool]`.
+alt/base_upcast_alt1.nit:49,20--21: Type Error: expected `B[Bool]`, got `A[Int]`.
+alt/base_upcast_alt1.nit:50,20--21: Type Error: expected `B[Bool]`, got `A[Bool]`.
+alt/base_upcast_alt1.nit:51,20--21: Type Error: expected `B[Bool]`, got `B[Int]`.
+alt/base_upcast_alt1.nit:53,20--21: Type Error: expected `B[Bool]`, got `C[Int]`.
+alt/base_upcast_alt1.nit:54,20--21: Type Error: expected `B[Bool]`, got `C[Bool]`.
+alt/base_upcast_alt1.nit:55,20: Type Error: expected `B[Bool]`, got `D`.
+alt/base_upcast_alt1.nit:57,20--21: Type Error: expected `C[Bool]`, got `A[Int]`.
+alt/base_upcast_alt1.nit:58,20--21: Type Error: expected `C[Int]`, got `A[Bool]`.
+alt/base_upcast_alt1.nit:59,20--21: Type Error: expected `C[Int]`, got `B[Int]`.
+alt/base_upcast_alt1.nit:60,20--21: Type Error: expected `C[Int]`, got `B[Bool]`.
+alt/base_upcast_alt1.nit:62,20--21: Type Error: expected `C[Int]`, got `C[Bool]`.
+alt/base_upcast_alt1.nit:63,20: Type Error: expected `C[Int]`, got `D`.
+alt/base_upcast_alt1.nit:65,20--21: Type Error: expected `C[Bool]`, got `A[Int]`.
+alt/base_upcast_alt1.nit:66,20--21: Type Error: expected `C[Bool]`, got `A[Bool]`.
+alt/base_upcast_alt1.nit:67,20--21: Type Error: expected `C[Bool]`, got `B[Int]`.
+alt/base_upcast_alt1.nit:68,20--21: Type Error: expected `C[Bool]`, got `B[Bool]`.
+alt/base_upcast_alt1.nit:69,20--21: Type Error: expected `C[Bool]`, got `C[Int]`.
+alt/base_upcast_alt1.nit:73,19--20: Type Error: expected `D`, got `A[Int]`.
+alt/base_upcast_alt1.nit:74,19--20: Type Error: expected `D`, got `A[Bool]`.
+alt/base_upcast_alt1.nit:75,19--20: Type Error: expected `D`, got `B[Int]`.
+alt/base_upcast_alt1.nit:76,19--20: Type Error: expected `D`, got `B[Bool]`.
+alt/base_upcast_alt1.nit:77,19--20: Type Error: expected `D`, got `C[Int]`.
+alt/base_upcast_alt1.nit:78,19--20: Type Error: expected `D`, got `C[Bool]`.