[commit: ghc] ghc-8.2: relnotes: Fix wibbles (11a5cc0)

git at git.haskell.org git at git.haskell.org
Sat Jul 22 21:21:01 UTC 2017


Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.2
Link       : http://ghc.haskell.org/trac/ghc/changeset/11a5cc0911f9bbce372b38940f345a0c8bd2006a/ghc

>---------------------------------------------------------------

commit 11a5cc0911f9bbce372b38940f345a0c8bd2006a
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Fri Jul 21 18:39:22 2017 -0400

    relnotes: Fix wibbles


>---------------------------------------------------------------

11a5cc0911f9bbce372b38940f345a0c8bd2006a
 docs/users_guide/8.2.1-notes.rst | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/docs/users_guide/8.2.1-notes.rst b/docs/users_guide/8.2.1-notes.rst
index fdd7d48..2aef7d4 100644
--- a/docs/users_guide/8.2.1-notes.rst
+++ b/docs/users_guide/8.2.1-notes.rst
@@ -12,7 +12,7 @@ Highlights
 
 The highlights since the 8.0 release include:
 
-- A new, more expressive ``Typeable`` mechanism
+- A new, more expressive ``Typeable`` mechanism, ``Type.Reflection``
 
 - Colorful error messages with caret diagnostics
 
@@ -88,7 +88,7 @@ Compiler
   been completely overhauled. The instance context is now inferred using the
   type signatures (and default type signatures) of the derived class's methods
   instead of using the datatype's definition, which often led to
-  overconstrained instances or instances that didn't typecheck (or worse,
+  over-constrained instances or instances that didn't typecheck (or worse,
   triggered GHC panics). See the section on
   :ref:`DeriveAnyClass <derive-any-class>` for more details.
 
@@ -167,7 +167,7 @@ Compiler
   on feedback from tooling authors for the next release.
 
 - GHC is now able to better optimize polymorphic expressions by using known
-  superclass dictionaries where possible. Some examples:
+  superclass dictionaries where possible. Some examples: ::
 
     -- uses of `Monad IO` or `Applicative IO` here are improved
     foo :: MonadBaseControl IO m => ...
@@ -186,12 +186,12 @@ Compiler
 - GHC now ignores ``RULES`` for data constructors (:ghc-ticket:`13290`).
   Previously, it accepted::
 
-    "NotAllowed" forall x. Just x = e
+    {-# RULES "NotAllowed" forall x. Just x = e #-}
 
   That rule will no longer take effect, and a warning will be issued. ``RULES``
   may still mention data constructors, but not in the outermost position::
 
-    "StillWorks" forall x. f (Just x) = e
+    {-# RULES "StillWorks" forall x. f (Just x) = e #-}
 
 - Type synonyms can no longer appear in the class position of an instance.
   This means something like this is no longer allowed: ::
@@ -299,9 +299,9 @@ Runtime system
 
 - Heap overflow throws a catchable exception, provided that it was detected
   by the RTS during a GC cycle due to the program exceeding a limit set by
-  ``+RTS -M``, and not due to an allocation being refused by the operating
-  system.  This exception is thrown to the same thread that receives
-  ``UserInterrupt`` exceptions, and may be caught by user programs.
+  ``+RTS -M`` (see :rts-flag:`-M`), and not due to an allocation being refused
+  by the operating system. This exception is thrown to the same thread that
+  receives ``UserInterrupt`` exceptions, and may be caught by user programs.
 
 - Added support for *Compact Regions*, which offer a way to manually
   move long-lived data outside of the heap so that the garbage



More information about the ghc-commits mailing list