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