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

From: Joachim Schimpf <jschimpf_at_users.sourceforge.net> Date: Fri, 14 Nov 2008 01:56:58 +1100 · This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET

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