(Procedure.) Specify that the file with the name given by the string F (which may be any expression which evaluates to a string) is to be loaded immediately after this procedure call. Like the load directive below, the file F will then be read in, and the text will be treated as Magma input. Tilde expansion of file names is allowed. This procedure call may only be used in a simple statement at the top level.
(Procedure.) Specify that the files with the names given by the strings in sequence Q are to be loaded in order immediately after this procedure call. As above, the files will be read in, and the text will be treated as Magma input. Tilde expansion of file names is allowed. The empty sequence is allowed for Q, in which case nothing is loaded. This procedure call may only be used in a simple statement at the top level.
(Special top level directive.) Input the file with the name specified by the string. The file will be read in, and the text will be treated as Magma input. Tilde expansion of file names is allowed.
(Interactive load: special top level directive.) Input the file with the name specified by the string. The file will be read in, and the text will be treated as Magma input. Tilde expansion of file names is allowed. In contrast to load, the user has the chance to interact as each line is read in:As the line is read in, it is displayed and the system waits for user response. At this point, the user can skip the line (by moving "down"), edit the line (using the normal editing keys) or execute it (by pressing "enter"). If the line is edited, the new line is executed and the original line is presented again.