From 16dc39eb9f9520966e6b87d2ef8dcad3bf691754 Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Sat, 8 Jun 2013 18:17:13 -0500 Subject: [PATCH] Outline 7.8.1 release notes. Signed-off-by: Austin Seipp --- docs/users_guide/7.8.1-notes.xml | 491 ++++++++++++++++++++++++++++++- 1 file changed, 476 insertions(+), 15 deletions(-) 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) + + + + -