Re: BUG!!!

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Tue 18 Dec 2001 11:47:10 PM GMT
Message-ID: <20011218234710.B15831@tempest.icparc.ic.ac.uk> 
On Tue, Dec 18, 2001 at 06:39:33PM +0000, Farid Ajili wrote:
> Hi Guys,
>   Believe it or not, the attached &&  simple clause caused an ECLIPSE
> compiler crash

This is (yet another) compiler over-optimisation bug.  If you insert a
`true' after the head of the clause and before the unification, the problem
goes away.

These bugs are hard to fix, so you may have to wait until Joachim finishes
re-writing the compiler for a proper fix...

Cheers,
Warwick
Received on Tue Dec 18 23:47:11 2001

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