diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml
index 20785d09fa63..8106687369c3 100644
--- a/docs/users_guide/7.8.1-notes.xml
+++ b/docs/users_guide/7.8.1-notes.xml
@@ -3,9 +3,9 @@
Release notes for version 7.8.1
- The significant changes to the various parts of the compiler are
- listed in the following sections. There have also been numerous bug
- fixes and performance improvements over the 7.6 branch.
+ The significant changes to the various parts of the compiler are listed
+ in the following sections. There have also been numerous bug fixes and
+ performance improvements over the 7.6 branch.
@@ -16,18 +16,479 @@
-
-
- TODO: Format these nicely and expand:
- - type holes
- - rebindable list syntax
- - major changes to the type inference engine
- - type level naturals
- - overlapping type families
- - new codegen
-
-
+
+
+ GHC now supports "type holes" with the
+ TypeHoles extension. When enabled, the
+ unbound literal _ may be used during
+ development in place of a regular identifier, and GHC will
+ respond with the type necessary to "fill in the hole."
+
+ TODO FIXME: reference.
+
+
+
+
+
+ GHC now supports overloading list literals using the new
+ OverloadedLists extension.
+
+ TODO FIXME: reference.
+
+
+
+
+
+ GHC now supports overlapping type family instances when
+ TypeFamilies are enabled.
+
+ TODO FIXME: reference.
+
+
+
+
+
+ There has been significant overhaul of the type inference engine and
+ constraint solver.
+
+ TODO FIXME: reference.
+
+
+
+
+
+ By default, GHC will now unbox all "small" strict fields in a
+ data type. A "small" data type is one whose size is equivalent
+ to or smaller than the native word size of the machine. This
+ means you no longer have to specify UNPACK
+ pragmas for e.g. Int fields. This also
+ applies to floating-point values.
+
+
+
+
+
+ GHC now has a brand-new I/O manager that scales significantly
+ better for larger workloads compared to the previous one. It
+ should scale linearly up to approximately 32 cores.
+
+
+
+
+
+ The LLVM backend now supports 128bit SIMD operations. This is
+ now exploited in both the vector and
+ dph packages, exposing a high level
+ interface.
+
+ TODO FIXME: reference.
+
+
+ This is only available with the LLVM backend.
+
+
+
+
+
+ The new code generator, after significant work by many
+ individuals over the past several years, is now enabled by
+ default. This is a complete rewrite of the STG to Cmm
+ transformation. In general, your programs may get slightly
+ faster.
+
+
+
+ The old code generator has been removed completely.
+
+
+
+
+
+ TODO: mention dynamic changes
+
+
+
+
+
+ TODO: mention new Typeable and
+ AutoDeriveTypeable
+
+
+
+
+
+
+ Full details
+
+ Language
+
+
+
+ TODO FIXME
+
+
+
+
+
+
+ Compiler
+
+
+
+ GHC now supports a --show-options flag,
+ which will dump all of the flags it supports to standard out.
+
+
+
+
+
+
+ GHCi
+
+
+
+ TODO FIXME
+
+
+
+
+
+
+ Template Haskell
+
+
+
+ TODO FIXME
+
+
+
+
+
+
+ Runtime system
+
+
+
+ The performance of StablePtrs and
+ StableNames has been improved.
+
+
+
+
+
+
+ Build system
+
+
+
+ GHC >= 7.4 is now required for bootstrapping.
+
+
+
+
+
+
+
+ Libraries
+
+
+ There have been some changes that have effected multiple
+ libraries:
+
+
+
+
+
+ TODO FIXME
+
+
+
+
+
+ The following libraries have been removed from the GHC tree:
+
+
+
+
+ TODO FIXME
+
+
+
+
+ The following libraries have been added to the GHC tree:
+
+
+
+
+ TODO FIXME
+
+
+
+ array
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ base
+
+
+
+ Version number 4.7.0.0 (was 4.6.0.1)
+
+
+
+
+ The Control.Category module now has the
+ PolyKinds extension enabled, meaning
+ that instances of Category no longer
+ need be of kind * -> * -> *
+
+
+
+
+ There are now Foldable and Traversable
+ instances for Either a and (,) a
+
+
+
+
+
+
+ bin-package-db
+
+
+
+ This is an internal package, and should not be used.
+
+
+
+
+
+
+ binary
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ bytestring
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ Cabal
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ containers
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ deepseq
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ directory
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ filepath
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ ghc-prim
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ haskell98
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ haskell2010
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ hoopl
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ hpc
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ integer-gmp
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ old-locale
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ old-time
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ process
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ template-haskell
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ time
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ unix
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
+
+
+ Win32
+
+
+
+ Version number XXXX (was XXXX)
+
+
+
+
-