ambiguous import resolution problem

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Thu 05 Jul 2001 01:22:13 PM GMT
Message-ID: <3B446A05.63FC143F@icparc.ic.ac.uk> 
Version 5.2 #7, Thu Jun 14 02:14 2001
[eclipse 1]: lib(fd),lib(fd_global).

[eclipse 2]: [user].
 p :- alldifferent([]), alldifferent([]).

Ambiguous import of alldifferent / 1 from [fd, fd_global] in module eclipse
Ambiguous import of alldifferent / 1 from [fd, fd_global] in module eclipse
user       compiled traceable 80 bytes in 0.00 seconds

Yes (0.00s cpu)
[eclipse 3]: import alldifferent / 1 from fd.

Yes (0.00s cpu)
[eclipse 4]: p.
calling an undefined procedure alldifferent([]) in module eclipse
Abort


Note: it works if there is only one call to alldifferent!

-- Joachim
Received on Thu Jul 05 14:22:13 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:08 PM GMT GMT