Issue loading numberlist library

[mlliarm]

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)
	])
).

[pmoura]

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.

[mlliarm]

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 :).

[pmoura]

https://logtalk.org/manuals/libraries/index.html