#15232: TypeError is reported as "redundant constraint" starting with GHC 8.2 -------------------------------------+------------------------------------- Reporter: fsoikin | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.2.3 Component: Compiler | Version: 8.2.2 Resolution: | Keywords: | CustomTypeErrors Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"d66ca0111cefcda6620a4c82a932456b3e48874c/ghc" d66ca011/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="d66ca0111cefcda6620a4c82a932456b3e48874c" typecheck: Don't warn about "redundant" TypeError constraints Summary: This fixes #15232, where we would warn about `TypeError` constraints being redundant. Test Plan: Validate Subscribers: rwbarton, thomie, carter GHC Trac Issues: #15232 Differential Revision: https://phabricator.haskell.org/D4808 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15232#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler