[Eclipse-clp-bugs] ic_symbolic and ic_global ambiguity when ic_global loaded by code/manually.

[Doug E. <dou...@gm...>]

System Win10 x 64
Ecliple-CLP Version 7.0 #54 (x86_64_nt),


Bug:  error msg (ambiguity) if code loads ic_symbolic then ic_global,
but no error if ic_symbolic loads ic_global.

TWO RUNS:

Run (1)  Code loads ic_symbolic, then ic_global.  Error.

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_symbolic).
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.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.00 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.05 seconds
ic_kernel.eco loaded in 0.06 seconds
lists.eco  loaded in 0.00 seconds
linearize.eco loaded in 0.02 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.08 seconds
ic_symbolic.eco loaded in 0.09 seconds

Yes (0.09s cpu)
[eclipse 2]: lib(ic_global).
queues.eco loaded in 0.00 seconds
ordset.eco loaded in 0.00 seconds
heap_array.eco loaded in 0.00 seconds
graph_algorithms.eco loaded in 0.00 seconds
max_flow.eco loaded in 0.00 seconds
flow_constraints_support.eco loaded in 0.00 seconds
ic_sequence.eco loaded in 0.00 seconds
ic_global.eco loaded in 0.02 seconds

Yes (0.02s cpu)
[eclipse 3]: local domain(weekday(mo,tu,we,th,fr,sa,su)).

Yes (0.00s cpu)
[eclipse 4]:  [M,T,W] &:: weekday, alldifferent([M,T,W]).
Ambiguous import of alldifferent / 1 from [ic_symbolic, ic_global] in 
module eclipse
calling an undefined procedure alldifferent([M, T, W]) in module eclipse
Abort
[eclipse 5]:

-------

Run (2)   Only ic_symbolic loaded.  System issues Warning, then 
automatically loads ic_symbolic.  NO ERROR.

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_symbolic).
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.02 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.02 seconds
ic.eco     loaded in 0.13 seconds
ic_symbolic.eco loaded in 0.13 seconds

Yes (0.13s cpu)
[eclipse 2]: local domain(weekday(mo,tu,we,th,fr,sa,su)).

Yes (0.00s cpu)
[eclipse 3]: [M,T,W] &:: weekday, alldifferent([M,T,W]).
WARNING: module 'ic_global' does not exist, loading library...
queues.eco loaded in 0.00 seconds
ordset.eco loaded in 0.00 seconds
heap_array.eco loaded in 0.00 seconds
graph_algorithms.eco loaded in 0.03 seconds
max_flow.eco loaded in 0.00 seconds
flow_constraints_support.eco loaded in 0.00 seconds
ic_sequence.eco loaded in 0.00 seconds
ic_global.eco loaded in 0.05 seconds

M = M{[mo, tu, we, th, fr, sa, su]}
T = T{[mo, tu, we, th, fr, sa, su]}
W = W{[mo, tu, we, th, fr, sa, su]}


Delayed goals:
         ic_symbolic : sync_ic_symbolic(M{[mo, tu, we, th, fr, sa, su]}, 
ic_symbolic(_430{1 .. 7}, eclipse : weekday))
         ic_symbolic : sync_ic_symbolic(T{[mo, tu, we, th, fr, sa, su]}, 
ic_symbolic(_510{1 .. 7}, eclipse : weekday))
         ic_symbolic : sync_ic_symbolic(W{[mo, tu, we, th, fr, sa, su]}, 
ic_symbolic(_590{1 .. 7}, eclipse : weekday))
         ic_global : alldifferent([_430{1 .. 7}, _510{1 .. 7}, _590{1 .. 
7}], 1)
Yes (0.05s cpu)
[eclipse 4]: