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
  ).