Proposal: Interpretation semantic for locals are undefined


This page is dedicated to discussing this specific proposal


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

Stephen Pelc, 2 Sept 2020

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