Proposal: [200] Wording change for "COMPILE,": harmonization with terms

Accepted

This page is dedicated to discussing this specific proposal

ContributeContributions

ruvavatar of ruv [200] Wording change for "COMPILE,": harmonization with termsProposal2021-05-15 17:53:09

Author

Ruv

Change Log:

2021-05-15: Initial version

Problem

A presupposition: in the text of the standard the same terms should be used for the same meaning, use of other terms instead of already defined terms should be avoided.

One expression in the specification for COMPILE, is not in harmony with terms definitions.

The part "the definition represented by xt" is not enough defined. According to the terms definitions, an execution token identifies the execution semantics of a definition. So, the defined term (and it's wording) is preferred.

Solution

Use a wording that is based on the defined terms.

Insertion and deletions:

Append the execution semantics of the definition represented identified by xt to the execution semantics of the current definition.

Rationale. No need to mention "the definition" since execution semantics are always connected with some definition (named or anonymous).

Proposal

Replace the "Execution" section of the glossary entry for COMPILE, word by the following:

Execution:

( xt -- )

Append the execution semantics identified by xt to the execution semantics of the current definition.

AntonErtlavatar of AntonErtl

The committee accepted the following wording change (Vote #23, 12Y:0:0):

Replace the "Execution" section of the glossary entry for COMPILE, word by the following:

Execution: ( xt -- )

Append the semantics identified by xt to the execution semantics of the current definition.

Accepted
Reply New Version