#5248: Infer type context in a type signature -------------------------------------+------------------------------------- Reporter: gidyn | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: low | Version: 7.0.3 Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: duplicate | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: GHC | rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by gidyn): * status: new => closed * difficulty: => Unknown * resolution: => duplicate Comment: This is now covered by [https://ghc.haskell.org/trac/ghc/wiki/PartialTypeSignatures#extra- constraints-wildcard Partial Type Signatures] for general type inference, and #8026 for the specific case of data types. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/5248#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler