Re: [eclipse-clp-users] Bug in eclipse-6?

Stephan Schiffel wrote:
> Hi everybody,
> 
> The following code behaves strangely when executed with eclipse-6 (I tried 
> build 42 and 52).
> 
> test :-
> 	\+ foo(a, a, b, c, d, e, x),
> 	\+ bar(f, g, h, i, j, x).
> foo(_, _, _, _, _, _, _) :-
> 	fail.
> bar(_, _, _, _, _, X) :-
> 	X ~= Y,
> 	Y = y.
> 
> test should fail, but eclipse's answer is "Yes". 


Hi Stefan,

this was due to a bug in the abstract machine emulator, related to
changes for version 6.  Thanks to the work you put into tracking
this down and simplifying, it was quite easy to find and fix.

The next build #53 should have it working!

Cheers,
Joachim