#15987: GHC sometimes not computing open type family application in kind inference -------------------------------------+------------------------------------- Reporter: sheaf | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.6.2 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #12088, #12643, | Differential Rev(s): #14668, #15561 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => closed * resolution: => duplicate Comment: No worries. To avoid having so many of these sorts of tickets floating around on Trac, I think I'll opt to close this one. If we do ever figure out a solution to #12088, though, we should make sure to add the program from this ticket as a test case, however. (I've added this ticket under the "related" field of #12088 to ensure that's more likely to happen.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15987#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler