[commit: ghc] master: Improve -XAllowAmbiguousTypes (Trac #8392) (43856a0)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/43856a003c9abb1bf8bf1822e6e7f5781b16ac4d/ghc

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

commit 43856a003c9abb1bf8bf1822e6e7f5781b16ac4d
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Oct 2 13:56:04 2013 +0100

    Improve -XAllowAmbiguousTypes (Trac #8392)
    
    * Add a suggestion to add AllowAmbiguousTypes when there is an
      ambiguity error
    
    * Move some of the logic to tcSimplifyAmbiguityCheck
    
    * Report inaccessible code regardless of the ambiguity check


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

43856a003c9abb1bf8bf1822e6e7f5781b16ac4d
 compiler/typecheck/TcBinds.lhs    |    5 +++--
 compiler/typecheck/TcSimplify.lhs |   37 ++++++++++++++++++++++++-------------
 compiler/typecheck/TcValidity.lhs |   21 ++++++++++-----------
 docs/users_guide/glasgow_exts.xml |   36 ++++++++++++++++++++++++++++++++----
 4 files changed, 69 insertions(+), 30 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 43856a003c9abb1bf8bf1822e6e7f5781b16ac4d