[Swift-devel] Problem with @extractint?

[Michael Wilde]

@extractint is behaving unpredictably for me.

In the following script:
--
type file;

int i;
file f;

(file r1 ) set1 ( ) {
   app { set1 @r1 ; }
}

file f <"varf.value">;
f = set1();
print("f=", at extractint(f));  // this print works when the next assign
                              // stmt is commented out

// i=@extractint(f); // Program works when you comment out this line,
                   // hangs otherwise
//print("i=",i);

--
it works if i dont try to assign the value of @extractint to an int but 
hangs otherwise.

set1 is:
echo 77777 >$1


Ive tried various other patterns, and some seem to work; I dont know if 
I missed a data flow issue here or if @extractint has a problem.

Any advice while I continue to debug this?