Proposal: Interpretation semantic for locals are undefined

Informal

This page is dedicated to discussing this specific proposal

ContributeContributions

StephenPelcavatar of StephenPelc Interpretation semantic for locals are undefinedProposal2020-09-02 20:57:52

Stephen Pelc, 2 Sept 2020

See https://forth-standard.org/proposals/wording-declare-undefined-interpretation-semantics-for-locals#contribution-133
RUV states that interpretation semantics for locals are undefined.

This is true for (LOCAL) so we should add:
local Interpretation:
Interpretation semantics for this word are undefined.

LOCALS| refers to (LOCAL) so (LOCAL) covers the case.

For {: we need to add:
name Interpretation
The interpretation semantics of name are undefined
then remove the ambiguous condition in name Execution.

Reply New Version