Next: mpg-ref-set_output, Previous: mpg-ref-set_input, Up: mpg-bpr [Contents][Index]
set_module/1
set_module(+ModuleName)
Changes the type-in module (see ref-mod-tyi) to ModuleName. Thus subsequent top-level goals use ModuleName as their source module.
atom, must be nonvar
The name of a module.
If ModuleName is not a current module, then a warning message is issued, but the type-in module is changed nonetheless.
Calling set_module/1
from a command embedded in a file that
is being loaded does not affect the loading of clauses from that
file. It only affects subsequent goals that are typed at top level.
instantiation_error
type_error