Hi Matt,
Thanks for your bug report. We've had some long term, and mostly
unsolved problems with Hugs interrupt handlers on various platforms
for quite some time. The official release of Hugs 98, which will be
out real soon now, includes some patches, some in line with the
change you suggested, that I hope will fix these problems. (At
least the problems don't appear on the machines we've tried.)
So thanks again, and, with luck, the official Hugs 98 release will
fix these problems, or at least make a significant step in the
right direction.
All the best,
Mark
