search

sanctuary-js / sanctuary-def

Run-time type system for JavaScript
MIT License
294 stars 23 forks source link

change the definition of a record field #202

Closed davidchambers closed 6 years ago

davidchambers commented 6 years ago

Closes #164

Commit message:

Prior to this commit, the implicit definition of a field has been:

A field is an own property (which may or may not be enumerable).

This commit changes the definition to the following:

A field is an enumerable property (either an own property or an inherited property).

Considering inherited enumerable properties will enable the use of prototypal inheritance when constructing records.