Possible bug on library repair

From: <rui_at_omega.di.uminho.pt>
Date: Fri 19 Jan 2001 03:27:52 PM GMT
Message-ID: <20010119152752.A6672@omega.di.uminho.pt>

Being fairly new to eclipse (a couple of days or so), I am not sure if my problem is because I don't know what I am doing or if this is really a bug.

When consulting the documentation of the repair library, I saw that the use of the r or r_prop annotations to make the constraints known to the repair library was obsolete and that they should be substituted by r_conflict <conflict set> or r_conflict_prop <conflict set>.

Well, I made this small experiment:

[eclipse 5]: [A,B]::1..10, A*B #= 10 r.

A = A{[1..10]}
B = B{[1..10]}

Delayed goals:
        monitor_conflict(A{[1..10]} * B{[1..10]}#=10)
[eclipse 6]: [A,B]::1..10, A*B #= 10 r_conflict boo.
instantiation fault in *(_592{[1 .. 10]}, _578{[1 .. 10]}, _544)
[eclipse 7]: [A,B]::1..10, A*B #= 10 r_conflict_prop boo.
instantiation fault in *(_592{[1 .. 10]}, _578{[1 .. 10]}, _544)

That is, everything works fine if I use the obsolete annotations but I get an instantiation fault exception if I use the new annotations.

Am I doing something wrong or is this a bug?

Thanks in advance,

--Rui Mendes
Received on Fri Jan 19 14:30:51 2001

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