Re: [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

Hi Doug,

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

On Thu, May 27, 2021 at 12:33 AM Doug Edmunds <dou...@gm...> wrote:
>
> 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]:
>
>
> _______________________________________________
> Eclipse-clp-bugs mailing list
> Ecl...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-bugs