[ ECLiPSe Predicate Database built-in.|Group Index| Full Index]

ensure_loaded(+Files)

Compile the specified Files if necessary.

+Files
Atom, string, library(Atom) or a list thereof.

Description

Compiles the specified files or libraries if they haven't been compiled yet of when they have been modified since the last compilation.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) Instantiation fault
Files is not instantiated.
(5) Type error
File is instantiated but not to a (list of) files.

Examples


    ensure_loaded(prog).
    ensure_loaded('dir/file').
    ensure_loaded([file1, 'file2.pl']).
    ensure_loaded(library(lists)).


See Also

. / 2, compile / 1, compile / 2, current_compiled_file / 3, dump / 1