Skip to content

Commit

Permalink
Fix the open record BBE description
Browse files Browse the repository at this point in the history
  • Loading branch information
MaryamZi committed Sep 20, 2024
1 parent 16d09ed commit 3f3b6c0
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions examples/open-records/open_records.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,7 @@

A record type that uses either the `{` and `}` delimiters or the `{|` and `|}` delimiters with a rest descriptor is considered open. Open records allow fields other than those explicitly specified.

When the record is open due to using the `{` and `}` delimiters, the expected type for any additional field is `anydata`. Such records belong to `map<anydata>`.

When the record is open due to the use of a rest descriptor, the expected type for any additional field is the type specified in the rest descriptor.
When the record is open due to the use of the `{` and `}` delimiters, the expected type for any additional field is `anydata`. When the record is open due to the use of a rest descriptor, the expected type for any additional field is the type specified in the rest descriptor.

Quoted keys can be used to specify fields that are not explicitly specified in an open record type.

Expand Down

0 comments on commit 3f3b6c0

Please sign in to comment.