Description

look for the filename created by LOADF that had been defining the given name. LOADF has created a marker that is above the INCLUDED file and that marker has a body-value just below the INCLUDED file. Hence the symbol was defined during LOADF execution of that file.

 : LOADF-LOCATE ?EXEC POSTPONE ' (LOADF-LOCATE) .NAME ;