#8705: Type inference regression with local dictionaries --------------------------------------------+------------------------------ Reporter: goldfire | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.8.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by goldfire): * priority: normal => high * version: 7.7 => 7.8.1-rc1 * milestone: => 7.8.1 Comment: Tweaking settings on the ticket to give it perhaps higher visibility. This bug is a type inference regression that I believe will hit the type system power users and would be embarrassing if we don't fix before the release. I've confirmed that the error happens in 7.8rc1. I haven't put time into looking for the source of the problem, but I think it will be in code I'm not (yet) deeply familiar with. If the release is approaching and this is still around, please ping me and I'll see what I can do. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8705#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler