mlliarm / ia

An interval arithmetic library in Logtalk

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Warning when loading {interval_arithmetic}.

mlliarm opened this issue · comments

Here:

?- {interval_arithmetic}.
*     Reference to unknown protocol: interval_arithmeticp
*       while compiling object interval_arithmetic
*       in file /home/milia/Documents/dev/logtalk/ia/interval_arithmetic.lgt between lines 1-2
*     
% [ /home/milia/Documents/dev/logtalk/ia/interval_arithmetic.lgt loaded ]
% 1 compilation warning
true.

Using Logtalk 3.42.0, with swilgt.

You need to load the loader.lgt file instead so that the interval_arithmeticp protocol is also loaded. I just fixed the loader order in 62416c2.