Re: [Eclipse-clp-bugs] lib(ic) and lib(ic_sets) both loaded

[Joachim S. <jsc...@co...>]

On 27/05/2021 17:25, Kish Shen wrote:
> Sorry the last message was sent before I finished it.
> 
> This is not a bug. THe reason you are getting the abort is because
> ::/2 is defined in both ic and ic_sets, and so when you call ::/2, you
> need to specify which ::/2 you mean:
> 
> ic_sets: (SetVar :: []..[1,2,3,4,5,6,7]).
> 
> ic: (Var :: [1,,10]).


You can also resolve the ambiguity via an explicit import directive:

:- lib(ic).
:- lib(ic_sets).
:- import (::)/2 from ic_sets.

or use http://www.eclipseclp.org/doc/bips/lib/ic_sets/in_set_range-2.html
which avoids the clash altogether.


-- Joachim