-
Notifications
You must be signed in to change notification settings - Fork 0
Most recent definition #19
Copy link
Copy link
Open
Labels
clarificationSomething needs to be clearer or more accurateSomething needs to be clearer or more accurateinconsistencySomething is inconsistent with something elseSomething is inconsistent with something else
Metadata
Metadata
Assignees
Labels
clarificationSomething needs to be clearer or more accurateSomething needs to be clearer or more accurateinconsistencySomething is inconsistent with something elseSomething is inconsistent with something else
The notion of "most recent definition" has the following problems:
Probably, it makes sense to distinguish between the notions of "current definition" and "most recent definition" so that one Forth definition cannot be both of them in the same time (note that the former is defined in 2.1 Definitions of terms, but not the later).
Then, in some cases wording should be updated accordingly. For example, in 6.1.1250
DOES>.Note that the following program should be ambiguous even if
change-the-latestunambiguously changes the execution semantics offoo: