[ ECLiPSe Module built-in.|Group Index| Full Index]

create_module(+Module)

Create the given module Module.

+Module
Atom.

Description

create_module/1 creates the given module if it does not exist yet. If the module already exists, an exception is raised (error 97).

Note This is useful for example to import a module (with import/1) before it is compiled.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) Instantiation fault
Module is not instantiated.
(5) Type error
Module is not an atom.
(97)
Module already exists.

Examples


Success:
     [eclipse]: create_module(lib).
     yes.
     [eclipse]: import(lib). % error 80 if module do not exist
     yes.
     [eclipse]: [user].
      p :- q.
      user        compiled 32 bytes in 0.00 seconds
     yes.
     [eclipse]: module(lib).
     [lib]: [user].
      :- export q/0.
      q :- writeln(hello).
      user        compiled 60 bytes in 0.00 seconds
     yes.
     [lib]: module(eclipse).
     [eclipse]: p.
     hello
     yes.
Error:
    create_module(M).                   (Error 4).
    create_module(1).                   (Error 5).
    create_module(m), create_module(m). (Error 97).


See Also

begin_module / 1, erase_module / 1, current_module / 1, module / 1, module_interface / 1