15.6.2.1580 FORGET TOOLS EXT
Skip leading space delimiters. Parse name delimited by a space. Find name, then delete name from the dictionary along with all words added to the dictionary after name. An ambiguous condition exists if name cannot be found.
If the Search-Order word set is present, FORGET searches the compilation word list. An ambiguous condition exists if the compilation word list is deleted.
An ambiguous condition exists if FORGET removes a word required for correct execution.
Note:
See:
Rationale:
FORGET name tries to infer the previous dictionary state from name; this is not always possible. As a consequence, FORGET name removes name and all following words in the name space.
See A.6.2.1850 MARKER.