bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Daniel Diaz
Subject: Re: Problems with loaded modules and --min-size option
Date: Thu, 12 Mar 2009 15:39:36 +0100
User-agent: Thunderbird 2.0.0.19 (X11/20090105)

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
address@hidden
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.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]