Re: [eclipse-clp-users] Another compiler bug

From: Joachim Schimpf <jschimpf_at_users.sf.net> Date: Wed, 25 Feb 2009 11:02:03 +1100 · This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET

Stephan Schiffel wrote:
> Hi all,
> 
> I think, I found another bug (tested with version 6.0#72).
> The query p in the following program fails and prints "if" but neither "then" 
> nor "else".
> 
> p :- q(a, 1).
> 
> q(A, C) :-
>   equal([A], [B]),
>   writeln("if"),
>   (B=b, C=1 ->
>     writeln("then")
>   ;
>     writeln("else")
>   ).
> 
> equal(A, A).

Thanks for isolating this, Stefan.  A rather trivial bug (missing clause)
in the compiler caused the indexing to go wrong.  Fixed in 6.0#75 which
is ready for download.

Cheers,
Joachim