Skip to content
This repository was archived by the owner on Apr 15, 2025. It is now read-only.
This repository was archived by the owner on Apr 15, 2025. It is now read-only.

"Record" name clashes with spec-internal "Record Specification Type" #96

Open
@rricard

Description

@rricard

Whenever we refer to "Record" inside of a spec document, we start referring to 6.2.1 The List and Record Specification Types which is a spec-internal notion.

This is going to be a big issue that will hamper our ability to write accurate spec text.

This yields multiple questions:

  • (asking spec editors) Could we be able to not match "Record" in spec text with the spec-internal Record Specification Type?
  • (asking spec editors) Is it possible to change the spec-internal Record term to something similar?
  • Do we want to consider other terms instead of Record for this proposal?

As far as alternate names goes for this proposal or for renaming the spec-internal Record Specification Type, the only one we found so far is: Struct

Finally as champions, we have a preference with avoiding to rename the proposal's Record to something else.

This issue needs to be closed before stage 3

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions