this erases one module, but if other modules are using it, they are not informed that the module is not loaded. This should be documented, e.g. tempest: cat > q.ecl :- module(q). :- export q/0. q. tempest: cat > p.ecl :- module(p). :- use_module(q). tempest: eclipse ECLiPSe Constraint Logic Programming System [kernel] Copyright Imperial College London and ICL Certain libraries copyright Parc Technologies Ltd GMP library copyright Free Software Foundation Version 5.2 #10, Tue Jun 26 02:14 2001 [eclipse 1]: use_module(p). q.ecl compiled traceable 16 bytes in 0.01 seconds p.ecl compiled traceable 0 bytes in 0.03 seconds Yes (0.03s cpu) [eclipse 2]: erase_module(q). Yes (0.00s cpu) [eclipse 3]: use_module(p). % ATTEMPTING TO RELOAD ANYTHING p DEPENDS ON Yes (0.00s cpu) [eclipse 4]: q@p. calling an undefined procedure eclipse : q in module p Abort This e-mail message is for the sole use of the intended recipient(s) - its contents are the property of Parc Technologies Limited (or its licensors) and are confidential. Please do not copy, review, use, disclose or distribute the e-mail or its contents (or allow anyone else to do so) without our prior permission. Parc Technologies Limited does not guarantee that this e-mail has not been intercepted and amended nor that it is virus-free. You should carry out your own virus checks before opening any attachment. Any opinions expressed in this e-mail message are those of the author and not necessarily Parc Technologies Limited.Received on Mon Aug 20 18:25:19 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:09 PM GMT GMT