Changes made since 3.01: After a prolonged rest in the bit bucket, the Specialiser is now back on-line again! It has been completely rewritten and the implementation is a great deal simpler than the version that came with @ghc-0.29@. (ToDo: insert summary of capabilities.) The addition of a data type or an instance to a module A should now mostly avoid the recompilation of modules that import A. More internal code cleanup and simplifications @showList@ and @Show@ instances for tuples now uses @","@ as element separators rather than @", "@. Changed to make the strings generated by Misc. bugfixes to When computing the Makefile dependencies, using either Added a working specialiser. Added Fixed compilation of real floating-point literals: they were previously generated as applications of The object splitter had a bug in it that increased binary sizes significantly on i386-unknown-linux and sparc-sun-solaris2. Now fixed. Bump some of the constants that affect unfolding agression: performance is now better than 2.10, and binary sizes are smaller. Add NOINLINE pragma, and use it for unsafePerformIO and friends. Remove PrelUnsafe and PrelUnsafeST, move the contents into PrelIOBase and PrelST respectively. Add NOINLINE pragma to LazyST.runST.