Problems with loaded modules and --min-size option
"Ferreira Maurizio" <[email protected]> Tue, 10 Mar 2009 12:44:53 +0100
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
I've the following two sources: main.pl and test.pl I've compiled test with the following command Gplc -w test.pl And I've compiled main with the following command Gplc --min-size main.pl Now, when I execute the program I get the following error : system_error(cannot_catch_throw(error(existence_error(procedure,(\=)/2), work/0))) equal Seems that the --min-size option the \= procedure required from test. Any suggestion ? Regards Maurizio. %%%%% main.pl %%%%%%%%%%% :- initialization(go). :- dynamic(work/0). go:- abolish(work/0), load(test), work. %%%%%%%%% test.pl %%%%%% :- dynamic(work/0). work:- A=1, (A\=2 -> write(different),nl ; write(equal),nl ).