Take is not done. It is blocked in a write. Once the write completes, it will terminate, not before.
On 01/18/2014 12:07 AM, Glenn Knickerbocker wrote: > On 1/17/2014 5:03 PM, Ronald van der Laan wrote: >> But TAKE isn't done, is it? > > Well, yes and no. It's done everything it's going to do but terminate. > And that's my whole point: I was caught by thinking it was done because > it had finished its work, but obviously CHOP couldn't know that without > giving back control and letting it terminate. > > ¬R >
