#11011: Type-indexed TypeReps, Static Pointers and Distributed Closures -------------------------------------+------------------------------------- Reporter: bjmprice | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Remember: * Most things that use `Typeable` will continue to work un-modified. The class has not changed its kind; and the functions `cast`, `gcast` etc continue to work with the same signatures. * I believe that only a relatively small number of packages (mostly Edward K's) decompose `TypeRep`; in fact, Richard I think you did a small study that discovered this. The story is already quite complicated. Making it more complicated still with a back-compat shim is undesirable unless it is absolutely necessary. First thing is to nail the API etc; then we must discuss transition. None of this is going to land until after 8.0 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11011#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler