<itemize>
-<item> Some Haskell 98 changes:
- <itemize>
- <item> Lazy name-clash detection.
- <item> Scoped infix declarations.
- </itemize>
+<item> Full Haskell 98 language support.
<item> Scoped type variables implemented.
<item> <tt/OccName/ is a separate module, and is an abstract data type.
+<item> A new generational garbage collector: the number of generations
+is variable, using the -G RTS option (see <ref id="rts-options-gc"
+name="RTS options to control the garbage-collector">). This collector
+is faster and more space-efficient than the two-space collector in 4.01.
+
+<item> Error messages and warnings are now printed out in the order they
+occur in the source code.
+
+<item> <tt/isEmptyMVar/ operation added to the <tt/Concurrent/ library.
+
+<item> Two new functions exported from <tt/ST/ (and <tt/LazyST/):
+<tt/unsafeIOToST/ and <tt/stToIO/.
+
</itemize>