[Swift-user] iterate syntax

[Luciano Piccoli]

Hi,

I justed checked out the latest swift and it looks like the iterate 
syntax changed. This code runs with revision 1673:

    ...
    iterate i {
      int trajectory = i;
      ...
    } until (@extractint(u0[i+1]) == @extractint(u0[i]));
    ...

Using revision 1735 I get this message:

    Could not start execution.
            Variable i is undefined

Defining the variable before the iterate block does not help:

    Could not start execution.
            Variable i is already defined.

What would be the correct way to use iterate?
Thanks,
Luciano