Issue loading numberlist library
mlliarm opened this issue · comments
So I've changed my loader to load the numberlist
library. But when I load the loader, I get the following error:
ERROR: /home/milia/Documents/dev/logtalk/ia/.lgt_tmp/loader_3366262_lgt.pl:1:
source_sink `library(numberlist)' does not exist
Warning: /home/milia/Documents/dev/logtalk/ia/.lgt_tmp/loader_3366262_lgt.pl:1:
Goal (directive) failed: user:use_module(library(numberlist),[])
I must have done something wrong.
Here are the contents of the loader.lgt
:
:- use_module(library(numberlist), []).
:- initialization(
logtalk_load([
interval_arithmeticp,
interval_arithmetic
], [
optimize(on)
])
).
Fixed. Note that Logtalk libraries are not module libraries; you cannot use an use_module/1
directive to load them. Also (see the commit that I just pushed to fix this issue), the numberlistp
and numberlist
entities are part of the types
library.
Thanks ! Noted. I'd noticed that numberlist
, numberlistp
were included in the library types
, but wasn't sure how to load it. Now I know :).