11.6.2.2144.10 REQUIRE FILE EXT

( i * x "name" -- i * x )

Skip leading white space and parse name delimited by a white space character. Push the address and length of the name on the stack and perform the function of REQUIRED.

See:

Rationale:

Typical use:
REQUIRE filename

Implementation:

: REQUIRE ( i*x "name" -- i*x )
   PARSE-NAME REQUIRED ;

Testing:

ContributeContributions