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

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

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

Cheers,

Kish

On Thu, May 27, 2021 at 5:20 PM Kish Shen <kis...@gm...> wrote:
>
> 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