[commit: ghc] master: Implement -fprint-expanded-synonyms (ae96c75)

[git at git.haskell.org]

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

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

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

commit ae96c751c869813ab95e712f8daac8516bb4795f
Author: Ömer Sinan Ağacan <omeragacan at gmail.com>
Date:   Fri Jul 17 00:02:09 2015 +0200

    Implement -fprint-expanded-synonyms
    
    Add a flag to print type-synonyms-expanded versions of types in type
    error messages (in addition to old error messages with synonyms)
    
     * Mailing list discussion: https://mail.haskell.org/pipermail/ghc-devs/2015-June/009247.html
     * Wiki page: https://wiki.haskell.org/Expanding_type_synonyms_in_error_messages_proposal
     * Trac: https://ghc.haskell.org/trac/ghc/ticket/10547
    
    Test Plan:
     * I'll find some examples and add tests.
    
    Reviewers: austin, simonpj, goldfire, bgamari
    
    Reviewed By: austin, simonpj, goldfire, bgamari
    
    Subscribers: rodlogic, thomie, bgamari
    
    Differential Revision: https://phabricator.haskell.org/D1016
    
    GHC Trac Issues: #10547


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

ae96c751c869813ab95e712f8daac8516bb4795f
 compiler/main/DynFlags.hs                          |   2 +
 compiler/typecheck/TcErrors.hs                     | 181 +++++++++++++++++++--
 compiler/typecheck/TcType.hs                       |  22 +--
 docs/users_guide/7.12.1-notes.xml                  |   8 +
 docs/users_guide/flags.xml                         |   6 +
 docs/users_guide/using.xml                         |  42 ++++-
 .../tests/typecheck/should_fail/ExpandSynsFail1.hs |   4 +
 .../typecheck/should_fail/ExpandSynsFail1.stderr   |  11 ++
 .../tests/typecheck/should_fail/ExpandSynsFail2.hs |  19 +++
 .../typecheck/should_fail/ExpandSynsFail2.stderr   |   9 +
 .../tests/typecheck/should_fail/ExpandSynsFail3.hs |  23 +++
 .../typecheck/should_fail/ExpandSynsFail3.stderr   |  11 ++
 .../tests/typecheck/should_fail/ExpandSynsFail4.hs |  11 ++
 .../typecheck/should_fail/ExpandSynsFail4.stderr   |   7 +
 testsuite/tests/typecheck/should_fail/all.T        |   5 +
 15 files changed, 327 insertions(+), 34 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 ae96c751c869813ab95e712f8daac8516bb4795f