[commit: ghc] master: rel-notes: Add note about UndecidableSuperClasses and #11762 (933abfa)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/933abfa7ec88bd91e60a62e51bb2f9a068d379f1/ghc

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

commit 933abfa7ec88bd91e60a62e51bb2f9a068d379f1
Author: Ben Gamari <bgamari.foss at gmail.com>
Date:   Fri Apr 15 11:41:45 2016 +0200

    rel-notes: Add note about UndecidableSuperClasses and #11762
    
    Test Plan: Read it
    
    Reviewers: austin, kosmikus
    
    Reviewed By: kosmikus
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2111
    
    GHC Trac Issues: #11318, #11762


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

933abfa7ec88bd91e60a62e51bb2f9a068d379f1
 docs/users_guide/8.0.1-notes.rst | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/docs/users_guide/8.0.1-notes.rst b/docs/users_guide/8.0.1-notes.rst
index dcbd104..93c9ec3 100644
--- a/docs/users_guide/8.0.1-notes.rst
+++ b/docs/users_guide/8.0.1-notes.rst
@@ -203,6 +203,31 @@ Language
    In previous versions of GHC, this required a workaround via an
    explicit export list in ``Bar``.
 
+-  GHC has grown a :ghc-flag:`-XUndecidableSuperClasses` language extension,
+   which relaxes GHC's recursive superclass check (see :ghc-ticket:`11318`).
+   This allows class definitions which have mutually recursive superclass
+   constraints at the expense of potential non-termination in the solver.
+
+-  The compiler is now a bit more conservative in solving constraints previously
+   provided by superclasses (see :ghc-ticket:`11762`). For instance, consider
+   this program,::
+
+     {-# LANGUAGE FlexibleInstances #-}
+     {-# LANGUAGE UndecidableInstances #-}
+
+     class Super a
+     class (Super a) => Left a
+     class (Super a) => Right a
+     instance (Left a) => Right a    -- this is now an error
+
+   GHC now rejects this instance, claiming it cannot deduce the ``Super a``
+   superclass constraint of the ``Right`` typeclass. This stands in contrast to
+   previous releases, which would accept this declaration, using the ``Super a``
+   constraint implied by the ``Left a`` constraint. To fix this simply add the
+   needed superclass constraint explicitly, ::
+
+     instance (Left a, Super a) => Right a
+
 -  :ghc-flag:`-XDeriveFoldable` and :ghc-flag:`-XDeriveTraversable` now
    generate code without superfluous ``mempty`` or ``pure`` expressions. As a
    result, :ghc-flag:`-XDeriveTraversable` now works on datatypes that contain