Re: Meta-called do loops and setarg

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Thu 29 May 2003 04:53:23 PM GMT
Message-ID: <3ED63B03.3083162E@icparc.ic.ac.uk>
josh singer wrote:
> 
> Hmm...If I say param(P) in my do loop, it seems that I am specifically
> requiring that we do not create a new P with each loop iteration, whatever
> kind of term P is.


The problem is that when the loop-translation code gets the input:

  (count(I, 1, 4), param(p(0, Y)) do setarg(1, p(0, Y), I))
                                               ^^^^^^^

then it can't tell whether the p(0, Y) inside setarg is just an
occurrence of the param() or an independent thing...


-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc                     /      mailto:J.Schimpf@imperial.ac.uk
 Imperial College London    /    http://www.icparc.ic.ac.uk/eclipse
Received on Thu May 29 17:53:24 2003

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