Re: Bug? Fail conditions for do iterator

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Mon 17 Dec 2001 11:14:31 AM GMT
Message-ID: <3C1DD397.EA671202@icparc.ic.ac.uk>
Ulrich Scholz wrote:
> 
> [eclipse 1]: ( foreach(3,[]) do true).
> 
> Yes (0.00s cpu)
> [eclipse 2]: (foreach(3,[1,2]) do true).
> 
> No (0.00s cpu)
> 
> Shouldn't the second query succeed, too?


(foreach(3,List) do true) is equivalent to
(foreach(E,List) do E=3) and means
"every element of List is a 3",
so I think the behaviour is ok. 

-- 
 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 Mon Dec 17 11:14:32 2001

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