diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl index d558b5d..0c92123 100644 --- a/test/aeso_compiler_tests.erl +++ b/test/aeso_compiler_tests.erl @@ -161,7 +161,8 @@ failing_contracts() -> <<"Repeated name x in pattern\n" " x :: x (at line 26, column 7)">>, <<"No record type with fields y, z (at line 14, column 22)">>, - <<"No record type with fields y, w (at line 15, column 22)">>]} + <<"The field z is missing when constructing an element of type r2 (at line 15, column 24)">>, + <<"Record type r2 does not have field y (at line 15, column 22)">>]} , {"init_type_error", [<<"Cannot unify string\n" " and map(int, int)\n" @@ -173,7 +174,7 @@ failing_contracts() -> , {"missing_fields_in_record_expression", [<<"The field x is missing when constructing an element of type r('a) (at line 7, column 40)">>, <<"The field y is missing when constructing an element of type r(int) (at line 8, column 40)">>, - <<"The fields y, z are missing when constructing an element of type r('a) (at line 6, column 40)">>]} + <<"The fields y, z are missing when constructing an element of type r('1) (at line 6, column 40)">>]} , {"namespace_clash", [<<"The contract Call (at line 4, column 10) has the same name as a namespace at (builtin location)">>]} , {"bad_events",