#9288: Type class overlapping instances check doesn't understand type equality -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: closed Priority: low | Milestone: Component: Compiler | Version: 7.9 (Type checker) | Keywords: Resolution: invalid | Operating System: Unknown/Multiple Differential Revisions: | Type of failure: GHC accepts Architecture: | invalid program Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"0fcf060418167e05adfbde174b2f030077cb1c1b/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="0fcf060418167e05adfbde174b2f030077cb1c1b" Improve documentation of overlapping instances (again) Prompted by Trac #9288 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9288#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler