#10041: Instance signatures (InstanceSigs) don't accept '[] :: [ĸ] -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: closed Priority: low | Milestone: Component: Compiler (Type | Version: 7.8.3 checker) | Keywords: Resolution: fixed | Architecture: x86 Operating System: Linux | Test Case: Type of failure: GHC rejects | polykinds/T10041 valid program | Blocking: Blocked By: | Differential Revisions: Related Tickets: #9582 #9833 | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * testcase: => polykinds/T10041 * resolution: => fixed Comment: Happily, some work I did on instance signatures (yes it was #9582) seems to have cured this. At least, HEAD is fine. And the 7.10 branch is fine too. Thanks for reporting. I've added a regression tests. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10041#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler