Lines Matching refs:compiled

55 In addition, compiled code can be output to a file ({\eclipse}
73 The contents of the file is compiled with the default compiler options.
176 tty compiled 72 bytes in 0.01 seconds
186 content is compiled until the end of stream (or the \notation{end_of_file}
203 debugging information. If \notation{off}, subgoals of the compiled
250 output compiled code in \about{eco} format to a file whose suffix is
255 output compiled code in \about{eco} format to \about{File}.
257 output compiled code in \about{asm} format to a file whose suffix is
262 output compiled code in \notation{asm} format to \about{File}.
316 or when loading a compiled file. When compiling without loading,
319 while the program is being compiled, and also when a compiled
334 All other input terms are interpreted as clauses to be compiled.
342 declaration must be used. The clauses are then collected and compiled
359 file content is compiled into the module from which \predspec{compile/1,2}
367 If the compiled file contains module directives (\predspec{module/1,3}), these
578 that should be always compiled in a particular mode
589 {\eclipse} source files can be compiled into {\eclipse} object files,
605 the compiled code of all included files.
613 containing a representation of the compiled abstract machine code, and
644 %the directive affects the compiled code during the compilation
675 textually), they can lead to different low-level compiled abstract code on
699 This predicate compiles the specified file if it has not been compiled
709 If this library is not yet compiled or loaded, the system will look
721 when a particular source files was compiled or precompiled file was loaded
771 the data structures can be compiled directly.
849 call to the predicate \predspec{mypred/1} before this call is being compiled.
854 call in the compiled code. Usually, the replacement goal would be
873 All compiled calls to \predspec{double/2} will now be preprocessed by being
903 to the compiled file, or by setting the global flag
925 constructs which can be compiled more efficiently than others.
1142 \item Tests are generally rather slow unless they can be compiled away
1156 which is more expensive than compiled calls.
1187 (i.e., \notation{$\ldots$->$\ldots$;$\ldots$}) are compiled
1209 to check if the predicate was compiled as expected.