#7908: InstanceSigs suggestion not accepted -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 (Type checker) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | polykinds/T7908 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * testcase: => polykinds/T7908 * resolution: => fixed Comment: The patch (pointed to from the other tickets) fixes the problem by allowing instance signatures to be more polymorphic than the instantiated class method type. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7908#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler