#9404: tcInferRho muddies the waters -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: Phab:D469 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"1e2002d8e89e3267e2c9c8d92235ee083a272657/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="1e2002d8e89e3267e2c9c8d92235ee083a272657" Fix #9404 by removing tcInfExpr. See the ticket for more info about the new algorithm. This is a small simplification, unifying the treatment of type checking in a few similar situations. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9404#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler