Re: strange ...

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Fri 04 Jan 2002 03:28:37 PM GMT
Message-ID: <3C35CA25.CA031E01@icparc.ic.ac.uk> 
Ulrich Scholz wrote:
> 
> [eclipse 2]: b.
> 3
> 
> Yes (0.00s cpu)
> 
> This hould be a 2 !!!


Thanks Ulrich,

this is a compiler optimization bug, triggered by sequences
of =/2 goals. You can work around this problem by inserting
true/0 between the =/2 goals to break the sequence, e.g.

b :-
        
        a,

        F1 = 2,
	true,
        F2 = 3,
        
        writeln(F1),

        c(F2).

We do not plan to provide a fix for this because we are
working on a completely new compiler.

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 Fri Jan 04 15:28:38 2002

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