Ban empty record definitions #875

Merged
ghallak merged 3 commits from ghallak/289 into master 2022-05-25 22:59:46 +09:00
Showing only changes of commit 166ce26a15 - Show all commits

View File

@ -791,7 +791,7 @@ failing_contracts() ->
"when checking the type of the expression `\"y\" : string` "
"against the expected type `bool`">>
])
, ?TYPE_ERROR(empty_record_declaration,
, ?TYPE_ERROR(empty_record_definition,
[<<?Pos(2,5)
"Empty record definitions are not allowed. Cannot define the record `r`">>
])