Re: Bug in eclipse - can't parse large term

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Wed 21 Mar 2001 12:11:00 PM GMT
Message-ID: <3AB89A54.AD519510@icparc.ic.ac.uk> 
Peter Baumgartner wrote:
> 
> Dear Eclipse people,
> 
> Eclipse seems to have problems with large terms. I isolated the
> problem as described below.

Dear Peter,

thanks for you report.  An immediate workaround is to move the
problematic term from the head to the body of the clause, e.g.

eq(X,X).

crash_term(X) :- eq(X, <the big term> ).


Best regards,
-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc, Imperial College   /            mailto:J.Schimpf@ic.ac.uk
 London SW7 2AZ, UK         /    http://www.icparc.ic.ac.uk/eclipse
Received on Wed Mar 21 12:11:00 2001

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