*sigh* Once again: Fixed a Haddock comment which broke "make html"... Why
on earth do we have "make validate"?? :ยด-( I think we should introduce some
kind of disciplinary punishment for checking in broken Haddock comments,
like porting the mangler to a new platform or porting Adjustor.c to an ABI
more irregular than the one on PowerPC...
-- | 'runMainIO' is wrapped around 'Main.main' (or whatever main is
-- called in the program). It catches otherwise uncaught exceptions,
--- and also flushes stdout/stderr before exiting.
+-- and also flushes stdout\/stderr before exiting.
runMainIO :: IO a -> IO a
runMainIO main = (do a <- main; cleanUp; return a) `catchException` topHandler