contracts: change the contract syntax

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

diff --git a/tests/sav/base_notnull_alt3.res b/tests/sav/base_notnull_alt3.res
index 84ba687..f67d2e7 100644 (file)
--- a/tests/sav/base_notnull_alt3.res
+++ b/tests/sav/base_notnull_alt3.res
@@ -1,14 +1,16 @@
-alt/base_notnull_alt3.nit:23,7: Type error: expected Object, got null
-alt/base_notnull_alt3.nit:24,7: Type error: expected Object, got null
-alt/base_notnull_alt3.nit:27,12: Type error: expected Object, got null
-alt/base_notnull_alt3.nit:30,12: Type error: expected Object, got null
-alt/base_notnull_alt3.nit:31,7--20: Type error: as(not null) on null
-alt/base_notnull_alt3.nit:32,7--20: Type error: as(not null) on null
-alt/base_notnull_alt3.nit:33,7: Type error: or else on null
-alt/base_notnull_alt3.nit:33,7--17: Type error: expected Object, got nullable Int
-alt/base_notnull_alt3.nit:34,7: Type error: or else on null
-alt/base_notnull_alt3.nit:34,7--17: Type error: expected Object, got nullable Int
-alt/base_notnull_alt3.nit:35,7: Type error: or else on null
-alt/base_notnull_alt3.nit:35,7--17: Type error: expected Object, got null
-alt/base_notnull_alt3.nit:36,7: Type error: or else on null
-alt/base_notnull_alt3.nit:36,7--17: Type error: expected Object, got null
+alt/base_notnull_alt3.nit:23,7: Type Error: expected `Object`, got `null`.
+alt/base_notnull_alt3.nit:24,7: Type Error: expected `Object`, got `null`.
+alt/base_notnull_alt3.nit:25,6: Warning: expression is always `null`.
+alt/base_notnull_alt3.nit:27,12: Type Error: expected `Object`, got `null`.
+alt/base_notnull_alt3.nit:28,6: Warning: expression is always `null`.
+alt/base_notnull_alt3.nit:30,12: Type Error: expected `Object`, got `null`.
+alt/base_notnull_alt3.nit:31,7: Warning: expression is always `null`.
+alt/base_notnull_alt3.nit:31,7--20: Type Error: `as(not null)` on `null`.
+alt/base_notnull_alt3.nit:32,7: Warning: expression is always `null`.
+alt/base_notnull_alt3.nit:32,7--20: Type Error: `as(not null)` on `null`.
+alt/base_notnull_alt3.nit:33,7: Warning: expression is always `null`.
+alt/base_notnull_alt3.nit:34,7: Warning: expression is always `null`.
+alt/base_notnull_alt3.nit:35,7: Warning: expression is always `null`.
+alt/base_notnull_alt3.nit:35,7--17: Type Error: expected `Object`, got `null`.
+alt/base_notnull_alt3.nit:36,7: Warning: expression is always `null`.
+alt/base_notnull_alt3.nit:36,7--17: Type Error: expected `Object`, got `null`.