11 Aug
2004
11 Aug
'04
5:23 p.m.
"Jon Fairbairn" <Jon.Fairbairn@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