unsafeInterleaveIO

Ross Paterson ross@soi.city.ac.uk
Mon, 11 Aug 2003 10:27:56 +0100


I submit that unsafeInterleaveIO hasn't worked on Hugs since at least July
2000 (when the implementation of concurrency was changed), and that it
doesn't seem feasible to implement it with the current concurrency model.
So I propose that we drop it from Hugs.