#9766: Use TypeLits in the meta-data encoding of GHC.Generics -------------------------------------+------------------------------------- Reporter: dreixel | Owner: kosmikus Type: task | Status: patch Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 9043 Related Tickets: #9043 | Differential Revisions: Phab:D493 -------------------------------------+------------------------------------- Changes (by simonpj): * owner: dreixel => kosmikus Comment: On the Phab ticket, Ben says
@dreixel, this looks like a nice use of promotion. Is there any chance you will be continuing this work? and Pedro replies I'm afraid not, at least not in the foreseeable future. I'd love it if someone were to pick it up, though!
I think that Andres has volunteered to pick up Generics related tickets, of which this is a prime example, so I'll change the owner to him. Andres, might you get to this? It's mostly done!! Thanks Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9766#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler