Full Haskell 98 language support. Scoped type variables implemented. Several bugs in _ccall_GC and foreign export fixed. Warnings for unused variables should work now (they didn't before). Simplifier improvements: Much better treatment of strict arguments. Function arguments of unlifted type are treated as strict. Better treatment of bottoming Ids. No need for worker/wrapper split for fns that are merely strict. Fewer iterations needed, I hope. Strictness of primitive operations is now explicit and used by the simplifier. Less gratuitous renaming in interface files and abs C. A new generational garbage collector: the number of generations is variable, using the -G RTS option (see ). This collector is faster and more space-efficient than the two-space collector in 4.01. Error messages and warnings are now printed out in the order they occur in the source code. Two new functions exported from