Re: [GHC] #10547: feature request: expanding type synonyms in error messages

#10547: feature request: expanding type synonyms in error messages -------------------------------------+------------------------------------- Reporter: osa1 | Owner: osa1 Type: feature request | Status: new Priority: low | Milestone: 7.12.1 Component: Compiler (Type | Version: checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: D1016 -------------------------------------+------------------------------------- Comment (by Ben Gamari ): In [changeset:"ae96c751c869813ab95e712f8daac8516bb4795f/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="ae96c751c869813ab95e712f8daac8516bb4795f" 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 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10547#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler