Enabling operators at run-time
Author(s): Daniel Cabeza
This library package allows the use of the statically defined operators of a module for the reading performed at run-time by the program that uses the module. Simply by using this package the operator definitions appearing in the module are enabled during the execution of the program.
Use with care: this is a non-modular extension. It may alter the behaviour of other modules (performing read/write operations) not using the package. This may be improved in future versions of the package (see bugs entries below).
Usage and interface
- Library usage:
- Implicit imports:
Known bugs and planned improvements
- Consider implementing local runtime operator tables and addmodule versions of read/write predicates