#13705: Failure of improvement for type-family dependencies -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"cec7d580c2c033c3aaeba093752328d8f3635cd0/ghc" cec7d58/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="cec7d580c2c033c3aaeba093752328d8f3635cd0" Fix the pure unifier This patch fixes Trac #13705, by fixing a long-standing outright bug in the pure unifier. I'm surprised this hasn't caused more trouble before now! }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13705#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler