"Jon Fairbairn" <Jon.Fairbairn at cl.cam.ac.uk> writes: > > > [1] What's the "Do" doing there anyway? You end up writing > withSocketsDo$do, and we could do without the Do$do. > Yes, that just doesn't fly, does it? withSocketsDo in user code became superfluous a couple of releases back. --sigbjorn