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
