Re: Problems with loaded modules and --min-size option

Add a directive ensure_linked in main.pl (which forces the linker to 
include a non-referenced predicate).

:- ensure_linked((\=)/2).

Daniel

Ferreira Maurizio a écrit :
> 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
>   ).
>     
>
>
> _______________________________________________
> Bug-prolog mailing list
> [email protected]
> http://lists.gnu.org/mailman/listinfo/bug-prolog
>
>   


-- 
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.