B.1.1 read: Read Declaration File |
read "path"
In declaration mode.
This commands reads the commands in the text file denoted by path (which may be an elementary file name or a compound file path) and processes them as if they were typed in interactively. The file may include only commands that are legal in declaration mode and it may include another applications of read which read other files. If by such nested applications of read an attempt is made to recursively read a file, an error is reported.
A file that starts with an application of the command newcontext can be used as a simple substitute for a "module" facility (which the system lacks otherwise).
B.1.1 read: Read Declaration File |