Eclipse bug?

From: Christopher Jefferson <caj_at_cs.york.ac.uk>
Date: Tue 14 Jan 2003 05:28:28 PM GMT
Message-Id: <4.3.2.7.0.20030114172445.00b207b0@minster.cs.york.ac.uk>
Apologize for sending another e-mail so soon, but I believe I have found a 
bug in eclipse 5.3 but cannot believe that it is a bug.

[eclipse 1]: use_module(library(fd)).
......
Yes (0.50s cpu)
[eclipse 2]: A::[0..1],B::[0..1],C::[-1..1], A#=B*C.

A = A{[0, 1]}
B = B{[0, 1]}
C = C{[0, 1]}


Delayed goals:
         B{[0, 1]} * C{[0, 1]} #= A{[0, 1]}
Yes (0.00s cpu)


I do not understand why it prunes the domain of C, as clearly A=0, B=0, 
C=-1 is a valid setting for the variables?

Chris
Received on Wed Jan 15 10:25:02 2003

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