From: Jean Privat Date: Fri, 10 Mar 2017 17:08:37 +0000 (-0500) Subject: tests: update more sav because of the improved null-aware adaptive typing X-Git-Url: http://nitlanguage.org tests: update more sav because of the improved null-aware adaptive typing Signed-off-by: Jean Privat --- diff --git a/tests/sav/base_adaptive_loop_array_1alt2_alt1.res b/tests/sav/base_adaptive_loop_array_1alt2_alt1.res index 4c5dbc5..90799da 100644 --- a/tests/sav/base_adaptive_loop_array_1alt2_alt1.res +++ b/tests/sav/base_adaptive_loop_array_1alt2_alt1.res @@ -1,3 +1,3 @@ alt/base_adaptive_loop_array_1alt2_alt1.nit:26,10--15: Error: method `length` does not exists in `Int`. -alt/base_adaptive_loop_array_1alt2_alt1.nit:26,10--15: Error: method `length` does not exists in `nullable Object`. -alt/base_adaptive_loop_array_1alt2_alt1.nit:28,3--8: Error: method `length` does not exists in `nullable Object`. +alt/base_adaptive_loop_array_1alt2_alt1.nit:26,10--15: Error: method `length` does not exists in `Object`. +alt/base_adaptive_loop_array_1alt2_alt1.nit:28,3--8: Error: method `length` does not exists in `Object`. diff --git a/tests/sav/base_adaptive_loop_array_alt1.res b/tests/sav/base_adaptive_loop_array_alt1.res index 58c7b04..c861a32 100644 --- a/tests/sav/base_adaptive_loop_array_alt1.res +++ b/tests/sav/base_adaptive_loop_array_alt1.res @@ -1,2 +1,2 @@ -alt/base_adaptive_loop_array_alt1.nit:26,10--15: Error: method `length` does not exists in `nullable Object`. -alt/base_adaptive_loop_array_alt1.nit:28,3--8: Error: method `length` does not exists in `nullable Object`. +alt/base_adaptive_loop_array_alt1.nit:26,10--15: Error: method `length` does not exists in `Object`. +alt/base_adaptive_loop_array_alt1.nit:28,3--8: Error: method `length` does not exists in `Object`. diff --git a/tests/sav/base_adaptive_loop_call_alt1.res b/tests/sav/base_adaptive_loop_call_alt1.res index 661cf83..153c634 100644 --- a/tests/sav/base_adaptive_loop_call_alt1.res +++ b/tests/sav/base_adaptive_loop_call_alt1.res @@ -1 +1 @@ -alt/base_adaptive_loop_call_alt1.nit:57,8--10: Error: method `foo` does not exists in `nullable Object`. +alt/base_adaptive_loop_call_alt1.nit:57,8--10: Error: method `foo` does not exists in `Object`. diff --git a/tests/sav/base_var_untyped_alt4.res b/tests/sav/base_var_untyped_alt4.res index cc41e02..60a0b47 100644 --- a/tests/sav/base_var_untyped_alt4.res +++ b/tests/sav/base_var_untyped_alt4.res @@ -1 +1 @@ -alt/base_var_untyped_alt4.nit:44,4--5: Error: method `+` does not exists in `nullable Object`. +alt/base_var_untyped_alt4.nit:44,4--5: Error: method `+` does not exists in `Object`. diff --git a/tests/sav/base_var_untyped_alt5.res b/tests/sav/base_var_untyped_alt5.res index e644c3d..22f2cd0 100644 --- a/tests/sav/base_var_untyped_alt5.res +++ b/tests/sav/base_var_untyped_alt5.res @@ -1 +1 @@ -alt/base_var_untyped_alt5.nit:51,4: Error: method `*` does not exists in `nullable Object`. +alt/base_var_untyped_alt5.nit:51,4: Error: method `*` does not exists in `Object`.