X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/base_virtual_type_self_alt5.res b/tests/sav/base_virtual_type_self_alt5.res index 397a44a..b291110 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: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]: A[Int]`. +alt/base_virtual_type_self_alt5.nit:47,7--12: Type Error: expected `Float`, got `A[A[U]]: A[A[Int]]`.