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

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

System:  Win10 x64
Eclipse: Version 7.0 #54 (x86_64_nt), Wed Feb 26 22:13 2020

Bug:  Ambiguous import of :: / 2 from [ic_sets, ic] in module eclipse
when both ic and ic_sets libraries are loaded.

Using code line from Tutorial, Chapter 8
        SetVar :: []..[1,2,3,4,5,6,7].

To duplicate:

Run (1)
lib(ic_sets).
SetVar :: []..[1,2,3,4,5,6,7].

WORKS CORRECTLY, NO ISSUE

Run (2)
lib(ic).
lib(ic_sets).
SetVar :: []..[1,2,3,4,5,6,7].

ABORTS

Run (3)
lib(ic_sets).
lib(ic).
SetVar :: []..[1,2,3,4,5,6,7].

ABORTS

Output from runs.
RUN (1) ----------

ECLiPSe Constraint Logic Programming System [kernel threads]
Kernel and basic libraries copyright Cisco Systems, Inc.
and subject to the Cisco-style Mozilla Public Licence 1.1
(see legal/cmpl.txt or http://eclipseclp.org/licence)
Source available at www.sourceforge.org/projects/eclipse-clp
GMP library copyright Free Software Foundation, see legal/lgpl.txt
For other libraries see their individual copyright notices
Version 7.0 #54 (x86_64_nt), Wed Feb 26 22:13 2020
[eclipse 1]: lib(ic_sets).
source_processor.eco loaded in 0.00 seconds
hash.eco   loaded in 0.00 seconds
compiler_common.eco loaded in 0.00 seconds
compiler_normalise.eco loaded in 0.02 seconds
compiler_map.eco loaded in 0.00 seconds
compiler_analysis.eco loaded in 0.00 seconds
compiler_peephole.eco loaded in 0.00 seconds
compiler_codegen.eco loaded in 0.00 seconds
compiler_varclass.eco loaded in 0.00 seconds
compiler_indexing.eco loaded in 0.00 seconds
compiler_regassign.eco loaded in 0.02 seconds
asm.eco    loaded in 0.02 seconds
module_options.eco loaded in 0.00 seconds
ecl_compiler.eco loaded in 0.06 seconds
ic_kernel.eco loaded in 0.06 seconds
lists.eco  loaded in 0.00 seconds
linearize.eco loaded in 0.00 seconds
ic_constraints.eco loaded in 0.02 seconds
ic.eco     loaded in 0.00 seconds
ic_generic_interface.eco loaded in 0.00 seconds
ic_search.eco loaded in 0.00 seconds
ic.eco     loaded in 0.09 seconds
ordset.eco loaded in 0.00 seconds
notify_ports.eco loaded in 0.00 seconds
ic_sets.eco loaded in 0.11 seconds

Yes (0.13s cpu)
[eclipse 2]: SetVar :: []..[1,2,3,4,5,6,7].

SetVar = SetVar{([] .. [1, 2, 3, 4, 5, 6, 7]) : _264{0 .. 7}}
Yes (0.00s cpu)
[eclipse 3]:

RUN (2) -----------

ECLiPSe Constraint Logic Programming System [kernel threads]
Kernel and basic libraries copyright Cisco Systems, Inc.
and subject to the Cisco-style Mozilla Public Licence 1.1
(see legal/cmpl.txt or http://eclipseclp.org/licence)
Source available at www.sourceforge.org/projects/eclipse-clp
GMP library copyright Free Software Foundation, see legal/lgpl.txt
For other libraries see their individual copyright notices
Version 7.0 #54 (x86_64_nt), Wed Feb 26 22:13 2020
[eclipse 1]: lib(ic).
source_processor.eco loaded in 0.00 seconds
hash.eco   loaded in 0.02 seconds
compiler_common.eco loaded in 0.02 seconds
compiler_normalise.eco loaded in 0.00 seconds
compiler_map.eco loaded in 0.00 seconds
compiler_analysis.eco loaded in 0.02 seconds
compiler_peephole.eco loaded in 0.00 seconds
compiler_codegen.eco loaded in 0.02 seconds
compiler_varclass.eco loaded in 0.00 seconds
compiler_indexing.eco loaded in 0.02 seconds
compiler_regassign.eco loaded in 0.00 seconds
asm.eco    loaded in 0.02 seconds
module_options.eco loaded in 0.00 seconds
ecl_compiler.eco loaded in 0.08 seconds
ic_kernel.eco loaded in 0.09 seconds
lists.eco  loaded in 0.00 seconds
linearize.eco loaded in 0.00 seconds
ic_constraints.eco loaded in 0.00 seconds
ic.eco     loaded in 0.00 seconds
ic_generic_interface.eco loaded in 0.00 seconds
ic_search.eco loaded in 0.00 seconds
ic.eco     loaded in 0.11 seconds

Yes (0.11s cpu)
[eclipse 2]: lib(ic_sets).
ordset.eco loaded in 0.02 seconds
notify_ports.eco loaded in 0.00 seconds
ic_sets.eco loaded in 0.02 seconds

Yes (0.03s cpu)
[eclipse 3]: SetVar :: []..[1,2,3,4,5,6,7].
Ambiguous import of :: / 2 from [ic, ic_sets] in module eclipse
calling an undefined procedure SetVar :: [] .. [1, 2, 3, 4, 5, 6, 7] in 
module eclipse
Abort
[eclipse 4]:

RUN (3) ---------

ECLiPSe Constraint Logic Programming System [kernel threads]
Kernel and basic libraries copyright Cisco Systems, Inc.
and subject to the Cisco-style Mozilla Public Licence 1.1
(see legal/cmpl.txt or http://eclipseclp.org/licence)
Source available at www.sourceforge.org/projects/eclipse-clp
GMP library copyright Free Software Foundation, see legal/lgpl.txt
For other libraries see their individual copyright notices
Version 7.0 #54 (x86_64_nt), Wed Feb 26 22:13 2020
[eclipse 1]: lib(ic_sets).
source_processor.eco loaded in 0.00 seconds
hash.eco   loaded in 0.00 seconds
compiler_common.eco loaded in 0.00 seconds
compiler_normalise.eco loaded in 0.02 seconds
compiler_map.eco loaded in 0.00 seconds
compiler_analysis.eco loaded in 0.00 seconds
compiler_peephole.eco loaded in 0.02 seconds
compiler_codegen.eco loaded in 0.00 seconds
compiler_varclass.eco loaded in 0.00 seconds
compiler_indexing.eco loaded in 0.00 seconds
compiler_regassign.eco loaded in 0.00 seconds
asm.eco    loaded in 0.00 seconds
module_options.eco loaded in 0.00 seconds
ecl_compiler.eco loaded in 0.03 seconds
ic_kernel.eco loaded in 0.05 seconds
lists.eco  loaded in 0.00 seconds
linearize.eco loaded in 0.00 seconds
ic_constraints.eco loaded in 0.00 seconds
ic.eco     loaded in 0.00 seconds
ic_generic_interface.eco loaded in 0.00 seconds
ic_search.eco loaded in 0.00 seconds
ic.eco     loaded in 0.06 seconds
ordset.eco loaded in 0.00 seconds
notify_ports.eco loaded in 0.00 seconds
ic_sets.eco loaded in 0.08 seconds

Yes (0.09s cpu)
[eclipse 2]: lib(ic).

Yes (0.00s cpu)
[eclipse 3]: SetVar :: []..[1,2,3,4,5,6,7].
Ambiguous import of :: / 2 from [ic_sets, ic] in module eclipse
calling an undefined procedure SetVar :: [] .. [1, 2, 3, 4, 5, 6, 7] in 
module eclipse
Abort
[eclipse 4]: