COMPL : MEXPR

COMPL is a top-level command.
Compile 1 or more files.
The command format for COMPL is:

 <n>COMPL  FILESPECLIST 
"FILESPECLIST"


The arguments have the following meaning:
FILESPECLIST : Files to be compiled.

TPS documentation homepage


COMPL : TPS-FILE

COMPL is a file.
Functions to do with compiling and loading code.
/home/theorem/tps/bin/compl.fasl is part of module MAINTAIN.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage