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

From: Joachim Schimpf <jschimpf_at_...127...>
Date: Fri, 14 Nov 2008 01:56:58 +1100
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
Received on Thu Nov 13 2008 - 14:57:09 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST