Skip to content

Avoid "requirement" as a grammar non-terminal #1671

@hubert-reinterpretcast

Description

@hubert-reinterpretcast

P0734R0 contains requirement as a grammar non-terminal.
The Working Draft prior to integrating P0734R0 already uses "requirement" with another meaning.

In this case, it would presumably be less disruptive to change P0734R0 to avoid "requirement" as the name of a grammar non-terminal. req-stmt may be appropriate. Additionally, P0734R0 uses "requirement" to also refer to the semantics that the requirement non-terminal applies. These uses may be modified to refer instead to the "enforced properties of the req-stmt".

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions