#11016: PartialTypeSignatures trigger bogus "unbound implicit parameter" error -------------------------------------+------------------------------------- Reporter: gridaphobe | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #10846 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"28035c0900f8d535e0b03d4c2aa0c79ba728436d/ghc" 28035c09/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="28035c0900f8d535e0b03d4c2aa0c79ba728436d" Add derived constraints for wildcard signatures This fixes Trac #11016 See Note [Add deriveds for signature contexts] in TcSimplify] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11016#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler